-
CVC4
- Referenced in 124 articles
[sw09485]
- open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... prove the validity (or, dually, the satisfiability) of first-order formulas in a large number...
-
cvc3
- Referenced in 85 articles
[sw04886]
- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3 is the last offspring...
-
Boolector
- Referenced in 31 articles
[sw00085]
- solver for bit-vectors and arrays. Satisfiability Modulo Theories (SMT) is the problem of deciding...
-
veriT
- Referenced in 30 articles
[sw07281]
- first public version of the satisfiability modulo theory (SMT) solver veriT. It is open-source...
-
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 fix-points 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...
-
ESBMC
- Referenced in 8 articles
[sw09946]
- embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver. It allows the verification engineer...
-
CalCS
- Referenced in 7 articles
[sw13098]
- convex programming to realize a satisfiability modulo theory (SMT) solver. Our solver, CalCS, uses...
-
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 problems-are 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 SAT-based 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 bit-precise Bounded...
-
vZ
- Referenced in 14 articles
[sw22666]
- optimization problems modulo theories. Many SMT applications use models to provide satisfying assignments...