344 search results - page 3 / 69 » Formal Verification of Floating-Point Programs |
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
TFM
2009
Springer
14 years 26 days ago
2009
Springer
FMCO
2006
Springer
13 years 10 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
SAS
2010
Springer
13 years 4 months ago
2010
Springer
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...