Spacer September 16, 2015 • Software Spacer is an algorithmic framework for SMT-based software model checking using proofs and counterexamples. Publisher Bitbucket Subjects Cybersecurity Reverse Engineering For Malware Analysis Tools Abstract SPACER, Software Proof-Based Abstraction with CounterExample-Based Refinement, is an algorithmic framework for SMT-based software model checking using proofs and counterexamples. SHARE