Formal Verification of Floating-Point Programs

18th IEEE Symposium on Computer Arithmetic (ARITH '07) ◽

10.1109/arith.2007.20 ◽

2007 ◽

Cited By ~ 49

Author(s):

Sylvie Boldo ◽

Jean-Christophe Filliatre

Keyword(s):

Formal Verification ◽

Floating Point

Download Full-text

Formal Verification of Programs Computing the Floating-Point Average

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25423-4_2 ◽

2015 ◽

pp. 17-32 ◽

Cited By ~ 2

Author(s):

Sylvie Boldo

Keyword(s):

Formal Verification ◽

Floating Point

Download Full-text

The formal verification of a pipelined double-precision IEEE floating-point multiplier

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.479878 ◽

2002 ◽

Cited By ~ 23

Author(s):

M.D. Aagaard ◽

C.-J.H. Seger

Keyword(s):

Formal Verification ◽

Floating Point ◽

Double Precision

Download Full-text

Proof engineering in the large: formal verification of Pentium�4 floating-point divider

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-002-0081-6 ◽

2003 ◽

Vol 4 (3) ◽

pp. 323-334 ◽

Cited By ~ 17

Author(s):

Roope Kaivola ◽

Katherine Kohatsu

Keyword(s):

Formal Verification ◽

Floating Point ◽

Proof Engineering

Download Full-text

Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point Divider

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_18 ◽

2001 ◽

pp. 196-211 ◽

Cited By ~ 5

Author(s):

Roope Kaivola ◽

Katherine Kohatsu

Keyword(s):

Formal Verification ◽

Floating Point ◽

Proof Engineering

Download Full-text

Formal Verification of the VAMP Floating Point Unit

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/3-540-44798-9_26 ◽

2001 ◽

pp. 325-339 ◽

Cited By ~ 13

Author(s):

Christoph Berg ◽

Christian Jacobi

Keyword(s):

Formal Verification ◽

Floating Point ◽

Floating Point Unit

Download Full-text

Formal Verification of Godson-2 Microprocessor Floating-Point Division Unit

Journal of Computer Research and Development ◽

10.1360/crad20061023 ◽

2006 ◽

Vol 43 (10) ◽

pp. 1835

Author(s):

Yunji Chen

Keyword(s):

Formal Verification ◽

Floating Point

Download Full-text

A Case Study in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM Processor

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-40922-x_3 ◽

2000 ◽

pp. 22-55 ◽

Cited By ~ 15

Author(s):

David M. Russinoff

Keyword(s):

Formal Verification ◽

Floating Point ◽

Download Full-text

Formal verification of the Pentium/sup /spl reg//4 floating-point multiplier

Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition ◽

10.1109/date.2002.998245 ◽

2003 ◽

Cited By ~ 4

Author(s):

R. Kaivola ◽

N. Narasimhan

Keyword(s):

Formal Verification ◽

Floating Point

Download Full-text

An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs

2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future ◽

10.1109/rivf.2012.6169864 ◽

2012 ◽

Author(s):

Vinh D. Thai ◽

Tho T. Quan ◽

Tien V. Le ◽

Binh T. Ngo

Keyword(s):

Formal Verification ◽

Abstract Interpretation ◽

Floating Point

Download Full-text

Formal Verification of the VAMP Floating Point Unit

Formal Methods in System Design ◽

10.1007/s10703-005-1613-y ◽

2005 ◽

Vol 26 (3) ◽

pp. 227-266 ◽

Cited By ~ 6

Author(s):

Christian Jacobi ◽

Christoph Berg

Keyword(s):

Formal Verification ◽

Floating Point ◽

Floating Point Unit

Download Full-text