Software Model Checking via IC3
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticLogical Methods in Computer Science, 2012
- Efficient Scenario Verification for Hybrid AutomataLecture Notes in Computer Science, 2011
- Kratos – A Software Model Checker for SystemCLecture Notes in Computer Science, 2011
- CPAchecker: A Tool for Configurable Software VerificationLecture Notes in Computer Science, 2011
- SAT-Based Model Checking without UnrollingLecture Notes in Computer Science, 2011
- Efficient generation of craig interpolants in satisfiability modulo theoriesACM Transactions on Computational Logic, 2010
- Compositional may-must program analysisACM SIGPLAN Notices, 2010
- Software model checking via large-block encodingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Proofs from testsPublished by Association for Computing Machinery (ACM) ,2008
- A Fast Linear-Arithmetic Solver for DPLL(T)Lecture Notes in Computer Science, 2006