A Solver for Reachability Modulo Theories
Authors:
- 1 January 2012
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 427-443
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- A decade of software model checking with SLAMCommunications of the ACM, 2011
- SMT-based bounded model checking for multi-threaded software in embedded systems2010
- The Localization Reduction and Counterexample-Guided Abstraction Refinement2010
- Generalized, efficient array decision procedures2009
- Unifying type checking and property checking for low-level code2009
- Calysto2008
- Z3: An Efficient SMT Solver2008
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs2006
- Weakest-precondition of unstructured programsACM SIGSOFT Software Engineering Notes, 2005
- A Tool for Checking ANSI-C Programs2004