72 search results - page 15 / 15 » PtYasm: Software Model Checking with Proof Templates |
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...