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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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