Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)
- First Online:
- 55 Downloads
The Satisfiability Modulo Theories Competition (SMT-COMP) is intended to spark further advances in the decision procedures field, especially for applications in hardware and software verification. Public competitions are a well-known means of stimulating advancement in automated reasoning. Evaluation of SMT solvers entered in SMT-COMP took place while CAV 2005 was meeting. Twelve solvers were entered; 1,352 benchmarks were collected in seven different divisions.
Key wordscompetition decision procedures satisfiability modulo theories
Unable to display preview. Download preview PDF.