publication . Other literature type . Part of book or chapter of book . 2014

Yicesä2.2

Bruno Dutertre;
Open Access
  • Published: 01 Jan 2014
  • Publisher: Springer International Publishing
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-LIBa2.0 notation and various performance improvements.
Subjects
free text keywords: Architecture, Satisfiability modulo theories, Simulation, Notation, Programming language, computer.software_genre, computer, Modularity, Solver, Computer science
Related Organizations
Download fromView all 2 versions
https://link.springer.com/cont...
Part of book or chapter of book
Provider: UnpayWall
http://link.springer.com/conte...
Part of book or chapter of book . 2014
Provider: Crossref
http://dx.doi.org/10.1007/978-...
Other literature type . 2014
Provider: Datacite
Any information missing or wrong?Report an Issue