
CVC4
 Referenced in 126 articles
[sw09485]
 opensource automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... prove the validity (or, dually, the satisfiability) of firstorder formulas in a large number...

cvc3
 Referenced in 86 articles
[sw04886]
 automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3 is the last offspring...

Boolector
 Referenced in 32 articles
[sw00085]
 solver for bitvectors and arrays. Satisfiability Modulo Theories (SMT) is the problem of deciding...

veriT
 Referenced in 32 articles
[sw07281]
 first public version of the satisfiability modulo theory (SMT) solver veriT. It is opensource...

Mcmt
 Referenced in 24 articles
[sw11911]
 Mcmt: a model checker modulo theories. We describe mcmt, a fully declarative and deductive symbolic ... state systems whose state variables are arrays. Theories specify the properties of the indexes ... safety and fixpoints by solving Satisfiability Modulo Theories (SMT) problems. Besides standard SMT techniques...

SYMBA
 Referenced in 13 articles
[sw08528]
 solvers. The rise in efficiency of Satisfiability Modulo Theories (SMT) solvers has created numerous uses ... applications, SMT solvers are used for generating satisfying assignments (e.g., a witness...

CalCS
 Referenced in 8 articles
[sw13098]
 convex programming to realize a satisfiability modulo theory (SMT) solver. Our solver, CalCS, uses...

ESBMC
 Referenced in 8 articles
[sw09946]
 embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver. It allows the verification engineer...

NLambda
 Referenced in 7 articles
[sw23172]
 that define them, and an external satisfiability modulo theories (SMT) solver is regularly...

bv2epr
 Referenced in 7 articles
[sw07142]
 essential in many applications of satisfiability modulo theories (SMT). In recent years, efficient approaches...

LinAIG
 Referenced in 6 articles
[sw10316]
 exploitation of the capabilities of SMT (Satisfiability Modulo Theories) solvers. Constraint minimization optimizes polyhedra...

ASPMT2SMT
 Referenced in 5 articles
[sw13280]
 combining answer set programming and satisfiability modulo theories based on the functional stable model semantics...

PySMT
 Referenced in 5 articles
[sw19843]
 pySMT makes working with Satisfiability Modulo Theory simple: Define formulae in a simple, intuitive...

ASASP
 Referenced in 5 articles
[sw06350]
 satisfiability problemsare mechanized by Satisfiability Modulo Theories solving and Automated Theorem Proving. asasp...

TSAT++
 Referenced in 3 articles
[sw21350]
 TSAT++: an open platform for satisfiability modulo theories. This paper describes TSAT++, an open platform ... lazy SATbased approach to satisfiability modulo theories (SMT). SMT is the problem of determining...

fzn2smt
 Referenced in 4 articles
[sw13501]
 language version 1.2. SMT stands for Satisfiability Modulo Theories: the problem of deciding the satisfiability...

HyComp
 Referenced in 4 articles
[sw20163]
 checker for hybrid systems based on Satisfiability Modulo Theories (SMT). HyComp takes as input networks...

Qex
 Referenced in 3 articles
[sw09944]
 specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational...

FrankenBit
 Referenced in 3 articles
[sw25253]
 amazing progress in SAT solving, Satisfiability Modulo Theory of Bit Vectors, and bitprecise Bounded...

vZ
 Referenced in 14 articles
[sw22666]
 optimization problems modulo theories. Many SMT applications use models to provide satisfying assignments...