The pitfalls of verifying floating-point computations

ACM Transactions on Programming Languages and Systems

Volumn 30, Issue 3, 2008, Pages

  Monniaux, David ^a,b  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b VERIMAG   (France)

Author keywords

Abstract interpretation; AMD64; Embedded software; Floating point; FPU; IA32; IEEE 754; PowerPC; Program testing; Rounding; Safety critical software; Static analysis; Verification; x87

Indexed keywords

FLOATING-POINT COMPUTATIONS; SOURCE-CODE LEVEL;

CODES (SYMBOLS); PROGRAM COMPILERS; SEMANTICS; VERIFICATION;

COMPUTATION THEORY;

EID: 44249093716     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1353445.1353446     Document Type: Article

References (49)