Spacer September 16, 2015 • Software Spacer is an algorithmic framework for SMT-based software model checking using proofs and counterexamples. Publisher Bitbucket Topic or Tag Cybersecurity Reverse Engineering For Malware Analysis 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