Z3: An Efficient SMT Solver

This publication has 8 references indexed in Scilit:

• Back to the future
  Published by Association for Computing Machinery (ACM) ,2008
• SYNERGY
  Published by Association for Computing Machinery (ACM) ,2006
• Unit tests reloaded: parameterized unit testing with symbolic execution
  IEEE Software, 2006
• A Fast Linear-Arithmetic Solver for DPLL(T)
  Published by Springer Nature ,2006
• Vigilante
  Published by Association for Computing Machinery (ACM) ,2005
• Simplify: a theorem prover for program checking
  Journal of the ACM, 2005
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• The SLAMproject
  ACM SIGPLAN Notices, 2002