• CVC4

  • Referenced in 102 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 19 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...
  • 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...
  • ASASP

  • Referenced in 4 articles [sw06350]
  • satisfiability problems-are mechanized by Satisfiability Modulo Theories solving and Automated Theorem Proving. asasp...
  • 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...