Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Software

Spacer

  • September 2015
  • Spacer is an algorithmic framework for SMT-based software model checking using proofs and counterexamples.
  • Malware Analysis
  • Publisher: BitBucket
  • Abstract

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

Software Information

Published by BitBucket

Get the Software