×

Found 15 Software Packages (Results 1–15)

CPAchecker

Software Authors:   Dirk Beyer, Stefan Löwe, Philipp Wendler
Cited in: 38 Publications (2011–2021)
Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

CEGAR

Software Authors:   Hermanns, Holger; Wachter, Björn; Zhang, Lijun
Cited in: 35 Publications (2006–2021)
Related Software: PRISM; MRMC; PASS; AMUSE; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Reveal

Software Authors:   Andraus, Zaher S.; Liffiton, Mark H.; Sakallah, Karem A.
Cited in: 22 Publications (1993–2021)
Related Software: MiniSat; MUSer2; HMQV; Paracooba; Kissat; CaDiCaL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

CAQE

Software Authors:   Rabe, M.N., Tentrup, L.
Cited in: 17 Publications (2016–2022)
Related Software: DepQBF; HQSpre; Quaffle; Bloqqer; semprop; ABC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

YASM

Software Authors:   Arie Gurfinkel, Ou Wei, Marsha Chechik
Cited in: 13 Publications (2006–2022)
Related Software: CUDD; SLAM; BLAST; ASTREE; SPIN; Bebop; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MoCHi

Software Authors:   Sato, Ryosuke; Kobayashi, Naoki; Hiroshi Unno
Cited in: 13 Publications (2015–2021)
Related Software: z3; GitHub; Dafny; Spacer; JayHorn; CoVaC; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

HSF

Software Authors:   Grebenshchikov, S., Gupta, A., Lopes, N.P., Popeea, C., Rybalchenko, A.
Cited in: 10 Publications (2012–2021)
Related Software: z3; VeriMAP; TRACER; ARMC; CPAchecker; PPL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTIGAR

Software Authors:   Birgmeier, J., Bradley, A.R., Weissenbacher, G.
Cited in: 8 Publications (2016–2021)
Related Software: z3; PySMT; MathSAT5; nuXmv; Kind 2; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

ACSAR

Software Authors:   Seghir, M.N., Podelski, A.
Cited in: 3 Publications (2009–2011)
Related Software: SLAM; SatAbs; SIMPLIFY; PVS; ARMC
Main Fields: Computer science (68-XX)

HARE

Software Authors:   Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
Cited in: 4 Publications (2013–2020)
Related Software: SpaceEx; Breach; S-TaLiRo; HSolver; RSOLVER; d/dt; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Memorax

Software Authors:   Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
Cited in: 3 Publications (2014–2020)
Related Software: Cubicle; Mcmt; Checkfence; MathSAT
Main Fields: Computer science (68-XX)

Ultimate Kojak

Software Authors:   Ermis, E., Nutz, A., Dietsch, D., Hoenicke, J., Podelski, A.
Cited in: 3 Publications (2015–2018)
Related Software: CPAchecker; SMTInterpol; BLAST; CBMC; AProVE; Ultimate Taipan; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SymmPa

Software Authors:   Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas
Cited in: 3 Publications (2012–2017)
Related Software: Threader; MAGIC; ASTREE; Apron; DDVerify; monabs; …
Main Fields: Computer science (68-XX)

McScM

Software Authors:   Heußner, Alexander; Le Gall, Tristan; Sutre, Grégoire
Cited in: 0 Publications
Related Software: TaPAS; CADP; SPIN; TREX
Main Fields:

Ultimate Taipan

Software Authors:   Greitschus, M., Dietsch, D., Heizmann, M., Nutz, A., Schätzle, C., Schilling, C., Schüssele, F., Podelski, A.
Cited in: 1 Publication (2018)
Related Software: Skink; Ultimate Kojak; CPAchecker; Ultimate Automizer; SMTInterpol; BLAST
Main Fields: Computer science (68-XX)