A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Angelic Verification: Precise Verification Modulo Unknowns
[chapter]
2015
Lecture Notes in Computer Science
Verification of open programs can be challenging in the presence of an unconstrained environment. Verifying properties that depend on the environment yields a large class of uninteresting false alarms. Using a verifier on a program thus requires extensive initial investment in modeling the environment of the program. We propose a technique called angelic verification for verification of open programs, where we constrain a verifier to report warnings only when no acceptable environment
doi:10.1007/978-3-319-21690-4_19
fatcat:fnimbxod6vhz7julviumowgh2a