Title: Defining the IEEE-854 floating-point standard in PVS
Subjects: Floating point arithmetic, Formalism, Proving, Prototypes