SMT-based software model checking

An improvement in formal verification

Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII

Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM (JACM)

Abstractions from proofs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The software model checker Blast: Applications to software engineering

International Journal on Software Tools for Technology Transfer (STTT)

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

FMCAD '07 Proceedings of the Formal Methods in Computer Aided Design

The MathSAT 4 SMT Solver

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification

Verifying SystemC: a software model checking approach

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design