Z3: An Efficient SMT Solver
- 1 January 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Back to the futurePublished by Association for Computing Machinery (ACM) ,2008
- SYNERGYPublished by Association for Computing Machinery (ACM) ,2006
- Unit tests reloaded: parameterized unit testing with symbolic executionIEEE Software, 2006
- A Fast Linear-Arithmetic Solver for DPLL(T)Lecture Notes in Computer Science, 2006
- VigilantePublished by Association for Computing Machinery (ACM) ,2005
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- The Spec# Programming System: An OverviewLecture Notes in Computer Science, 2005
- The S LAM projectACM SIGPLAN Notices, 2002