Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode
Formal Methods in System Design
Transcendental Functions and Continuity Checking in PVS
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Hidden verification for computational mathematics
Journal of Symbolic Computation
A formal proof of square root and division elimination in embedded programs
CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs
| Hi-index | 0.00 |