Abstract
Yices is an SMT solver developed by SRI International. The first version of Yices was released in 2006 and has been continuously updated since then. In 2007, we started a complete re-implementation of the solver to improve performance and increase modularity and flexibility. We describe the latest release of Yices, namely, Yices 2.2. We present the tool's architecture and discuss the algorithms it implements, and we describe recent developments such as support for the SMT-LIB 2.0 notation and various performance improvements. © 2014 Springer International Publishing.
Cite
CITATION STYLE
Dutertre, B. (2014). Yices 2.2. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8559 LNCS, pp. 737–744). Springer Verlag. https://doi.org/10.1007/978-3-319-08867-9_49
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
