" FORMAL VERIFICATION OF THE IEEE FLOATING-POINT TYPE IN BOOGIE AND SMACK" Undergraduate Research Journal [Online], (8 June 2017)