Spacer September 16, 2015 • Software By Bitbucket 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