A Formal Model of IEEE Floating Point Arithmetic

MaRDI QIDQ7361869FDO

Authors Lei Yu, Fabian Hellauer, Fabian Immler, Tjark Weber

Publication date 27 July 2013

Cites work

• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(2)

• CakeML
• Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations

This page was built for software: A Formal Model of IEEE Floating Point Arithmetic