机译:Correct approximation of IEEE 754 floating-point arithmetic for program verification
Univ Parma, Dipartimento Sci Matemat Fis & Informat, Parma, Italy|BUGSENG Srl, Parma, Italy;
BUGSENG Srl, Parma, Italy;
BUGSENG Srl, Parma, Italy|Certus Software V&V Ctr, SIMULA Res Lab, Fornebu, NorwayBUGSENG Srl, Parma, Italy|Politecn Milan, Dipartimento Elettron Informaz & Bioingn, Milan, ItalyUniv Pisa, Dipartimento Informat, Pisa, Italy;
Constraint solving; Constraint propagation; Constraint satisfaction problem; Filtering algorithm; Floating point; Program verification; Symbolic execution;