search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Spacer

Spacer

September 2015 • Software

Spacer is an algorithmic framework for SMT-based software model checking using proofs and counterexamples.

Publisher:

Bitbucket
Subjects

Abstract

SPACER, Software Proof-Based Abstraction with CounterExample-Based Refinement, is an algorithmic framework for SMT-based software model checking using proofs and counterexamples.