The SMT-LIB Standard – Version 2 . 0

  title={The SMT-LIB Standard – Version 2 . 0},
  author={Clark W. Barrett and Aaron Stump and Cesare Tinelli},
The SMT-LIB initiative is an international effort, supported by research groups worldwide, with the two-fold goal of producing an extensive on-line library of benchmarks and promoting the adoption of common languages and interfaces for SMT solvers. This paper introduces Version 2 of the SMT-LIB Standard. This is a major upgrade of the previous Version 1.2 which, in addition to simplifying and extending the languages of that version, includes a new command language for interfacing with SMT… CONTINUE READING
Highly Influential
This paper has highly influenced 74 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 624 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 385 extracted citations

Dependable Software Engineering: Theories, Tools, and Applications

Lecture Notes in Computer Science • 2016
View 20 Excerpts
Highly Influenced

Integration of Linear Constraints with a Temporal Logic Programming Language

2013 International Symposium on Theoretical Aspects of Software Engineering • 2013
View 15 Excerpts
Highly Influenced

NASA Formal Methods

Lecture Notes in Computer Science • 2013
View 20 Excerpts
Highly Influenced

624 Citations

Citations per Year
Semantic Scholar estimates that this publication has 624 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

Common LISP: the language, 2nd Edition

View 2 Excerpts
Highly Influenced

The SMT-LIB Standard Version 2.0

C. Barrett, A. Stump, C. Tinelli
Reference Manual, • 2010
View 1 Excerpt

The Satisfiability Modulo Theories Library (SMT-LIB)

C. Barrett, A. Stump, C. Tinelli, • 2010
View 1 Excerpt

Design and results of the 3 annual satisfiability modulo theories competition

C. Barrett, M. Deters, A. Oliveras, A. Stump
(SMT-COMP • 2007

Similar Papers

Loading similar papers…