-
CVC4
- Referenced in 104 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 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 open-source...
-
Boolector
- Referenced in 27 articles
[sw00085]
- solver for bit-vectors 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 fix-points 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 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...
-
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 bit-precise Bounded...
-
SMCHR
- Referenced in 2 articles
[sw09322]
- propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...
-
ARGO-LIB
- 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 Satisfiability-Modulo-Theories automated reasoning tools. The standard...