
CVC4
 Referenced in 104 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 84 articles
[sw04886]
 automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3 is the last offspring...

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

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

Mcmt
 Referenced in 21 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 11 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...

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

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

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

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

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

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...

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

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

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...

SMCHR
 Referenced in 2 articles
[sw09322]
 propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...

ARGOLIB
 Referenced in 2 articles
[sw02619]
 establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated...

jSMTLIB
 Referenced in 2 articles
[sw19842]
 input format and response requirements for SatisfiabilityModuloTheories automated reasoning tools. The standard...