Interpolation-Based Software Verification with Wolverine
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 573-578
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- An Interpolating Decision Procedure for Transitive Relations with Uninterpreted FunctionsLecture Notes in Computer Science, 2011
- Efficient generation of craig interpolants in satisfiability modulo theoriesACM Transactions on Computational Logic, 2010
- Software model checkingACM Computing Surveys, 2009
- CSIsat: Interpolation for LA+EUF2008
- Lazy Abstraction with Interpolants2006
- SATABS: SAT-Based Predicate Abstraction for ANSI-C2005
- A Tool for Checking ANSI-C Programs2004
- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft2004
- Counterexample-Guided Abstraction Refinement2000
- Construction of abstract state graphs with PVS1997