×

Found 13 Software Packages (Results 1–13)

veriT

Software Authors:   Thomas Bouton, Diego Caminha B. de Oliveira, David DĂ©harbe, Pascal Fontaine
Referenced in: 31 Publications (2011–2021)
Related Software: z3; SMT-LIB; CVC4; Coq; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Real functions (26-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Referenced in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

PySMT

Software Authors:   Marco Gario, Andrea Micheli
Referenced in: 9 Publications (2017–2022)
Related Software: z3; MathSAT5; Yices; SMT-LIB; CTIGAR; SymPy; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

CalCS

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.
Referenced in: 8 Publications (2013–2019)
Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

FrankenBit

Software Authors:   Gurfinkel, A., Belov, A.
Referenced in: 2 Publications (2017–2018)
Related Software: CBMC; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; Jakstab; …
Main Fields: Computer science (68-XX)

Qex

Software Authors:   Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan
Referenced in: 3 Publications (2010–2011)
Related Software: MONA; z3; TPTP; Dafny
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TSAT++

Software Authors:   Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
Referenced in: 3 Publications (2005–2008)
Related Software: CVC; SMT-LIB; Chaff; MiniSat; CVC Lite; lp_solve; …
Main Fields: Computer science (68-XX)

Nopol

Software Authors:   J. Xuan, M. Martinez, F. DeMarco, M. Clement, S. L. Marcot e, T. Durieux, D. Le Berre, M. Monperrus
Referenced in: 0 Publications
Related Software: Codeflaws; ASTOR; Defects4J; jGenProg; Bugbench; JUnit; …
Main Fields:

SMCHR

Software Authors:   Duck, Gregory J.
Referenced in: 2 Publications (2012–2018)
Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator
Main Fields: Computer science (68-XX)

XSat

Software Authors:   –
Referenced in: 2 Publications (2018–2021)
Related Software: MLBSE; JaCoCo; jCUTE; GitHub; Java PathFinder; Pex; …
Main Fields: Computer science (68-XX)

JavaSMT

Software Authors:   Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer
Referenced in: 1 Publication (2016)
Related Software: Mjollnir; PAGAI; FOCI; Chaff; z3; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

metaSMT

Software Authors:   Riener, H.
Referenced in: 1 Publication (2021)
Related Software: SMT Kit; BtorMC; lazybv2int; Pono; SBV; Smt-Switch; …
Main Fields: Computer science (68-XX)

Trickle

Software Authors:   Blackham B, Liffiton M, Heiser G
Referenced in: 0 Publications
Related Software:
Main Fields: