Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 998 Publications (1996–2023) Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
SPIN Software Authors: Bell Labs Cited in: 595 Publications (1990–2023) Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Isabelle Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel Cited in: 704 Publications (1990–2022) Related Software: Isabelle/HOL; HOL; Coq; PVS; Archive Formal Proofs; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
Mizar Software Authors: Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban Cited in: 508 Publications (1983–2022) Related Software: Coq; Isabelle/HOL; HOL Light; Isabelle; Isar; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)
Esterel Software Authors: Gérard Berry Cited in: 137 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 161 Publications (1986–2022) Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
SLAM Software Authors: Ball, Thomas; Rajamani, Sriram K. Cited in: 123 Publications (2001–2021) Related Software: BLAST; SPIN; Bandera; SatAbs; CPAchecker; Bebop; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
Why3 Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Cited in: 134 Publications (2004–2023) Related Software: Coq; KRAKATOA; Caduceus; z3; Boogie; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
OBJ3 Software Authors: J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry) Cited in: 137 Publications (1989–2021) Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
BLAST Software Authors: Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire Cited in: 107 Publications (2003–2021) Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 106 Publications (2002–2023) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
CBMC Software Authors: Clarke E, Kroening D, Lerda F Cited in: 75 Publications (2004–2022) Related Software: MiniSat; BLAST; SPIN; z3; CPAchecker; SLAM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MOCHA Software Authors: Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S. Cited in: 81 Publications (1999–2021) Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TPS Software Authors: Andrews, Peter B.; Brown, Chad E. Cited in: 76 Publications (1990–2022) Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
KeY Software Authors: http://www.key-project.org/people.html Cited in: 53 Publications (2000–2022) Related Software: JML; ESC/Java; Spec#; Boogie; KRAKATOA; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Isabelle/ZF Software Authors: Lawrence C. Paulson Cited in: 63 Publications (1993–2021) Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
CompCert Software Authors: Leroy, X. Cited in: 51 Publications (2009–2022) Related Software: Coq; Isabelle/HOL; z3; CakeML; cminor; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
CPAchecker Software Authors: Dirk Beyer, Stefan Löwe, Philipp Wendler Cited in: 39 Publications (2011–2022) Related Software: BLAST; SLAM; CBMC; z3; UFO; SatAbs; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
Frama-C Software Authors: Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski Cited in: 41 Publications (2009–2023) Related Software: Why3; Coq; z3; ACSL; Dafny; Boogie; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
PolyBoRi Software Authors: Alexander Dreyer; Michael Brickenstein Cited in: 49 Publications (2008–2022) Related Software: SINGULAR; SageMath; Magma; FGb; CUDD; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)
SatAbs Software Authors: Clarke, E., Kroning, D., Sharygina, N., Yorav, K. Cited in: 35 Publications (2005–2021) Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MAGIC Software Authors: Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut Cited in: 39 Publications (2003–2020) Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
nuXmv Software Authors: Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta Cited in: 38 Publications (2015–2023) Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SNOOPY Software Authors: M Heiner, M Herajy, F Liu, C Rohr, M Schwarick Cited in: 30 Publications (1994–2023) Related Software: SUNDIALS; CPN/Tools; Cell Illustrator; KEGG; INA; ADAM; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Computer science (68-XX)
Bogor Software Authors: Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew Cited in: 27 Publications (2003–2014) Related Software: SPIN; Bandera; veriSoft; Java PathFinder; dSPIN; Zing; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
IMITATOR Software Authors: André, Étienne Cited in: 32 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
ARMC Software Authors: Andreas Podelski, Andrey Rybalchenko Cited in: 25 Publications (2007–2020) Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MAYA Software Authors: Hutter, Dieter; Autexier, Serge Cited in: 23 Publications (2002–2015) Related Software: CASL; Mizar; Isabelle; Isar; TPTP; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
VERSOFT Software Authors: Jiri Rohn Cited in: 27 Publications (2009–2022) Related Software: INTLAB; mctoolbox; mftoolbox; NACLab; Matlab; SparseMatrix; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); Numerical analysis (65-XX)
NetKAT Software Authors: Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D. Cited in: 26 Publications (2014–2021) Related Software: Frenetic; VeriFlow; VeriCon; Isabelle/HOL; Isabelle; Regular Sets; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX)
UCLID Software Authors: Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia Cited in: 24 Publications (2002–2020) Related Software: Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
Lambda-Clam Software Authors: J. Richardson, A. Smaill, I. Green Cited in: 24 Publications (1997–2012) Related Software: IsaPlanner; Nuprl; Isabelle/HOL; Isabelle; Coq; Isar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Supremica Software Authors: Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik Cited in: 24 Publications (2009–2023) Related Software: UMDES; libFAUDES; REGAL; TCT; QuickCheck; MersenneTwister; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
MOPS Software Authors: Chen, H., Wagner, D. Cited in: 15 Publications (2003–2019) Related Software: SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SeaHorn Software Authors: Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A. Cited in: 23 Publications (2015–2022) Related Software: z3; CPAchecker; VeriMAP; SMACK; JayHorn; RAHFT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
UFO Software Authors: Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik Cited in: 18 Publications (2012–2021) Related Software: CPAchecker; z3; BLAST; SLAM; SatAbs; CBMC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
TAXYS Software Authors: Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick Cited in: 15 Publications (2001–2017) Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
SCADE Software Authors: Berry, Gérard; Esterel Technologies Cited in: 14 Publications (2001–2019) Related Software: Simulink; Esterel; LUSTRE; Matlab; Algorithm 97; MCGP; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
vUML Software Authors: Lilius, J.; Paltor, I. P. Cited in: 10 Publications (2001–2015) Related Software: SPIN; GROOVE; Bandera; PROGRES; CheckVML; Uppaal; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Gappa Software Authors: Guillaume Melquiond Cited in: 19 Publications (2009–2021) Related Software: Coq; z3; ASTREE; PVS; Why3; Flocq; … Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Partial differential equations (35-XX)
SCR Software Authors: Bourguiba, Imen; Moa, Belaid Cited in: 10 Publications (2000–2018) Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Predator Software Authors: Dudka, Kamil; Müller, Petr; Peringer, Petr; Vojnar, Tomáš Cited in: 14 Publications (2012–2021) Related Software: CPAchecker; CBMC; Slide; BLAST; Infer; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PERUSE Software Authors: Kurator, William G.; O'Neill, Richard P. Cited in: 17 Publications (1980–2021) Related Software: Gurobi; SCS; CVXPY; MProbe; CPLEX; AMPL; … Main Fields: Partial differential equations (35-XX); Manifolds and cell complexes (57-XX); Numerical analysis (65-XX)
CORA Software Authors: Matthias Althoff, Niklas Kochdumper Cited in: 15 Publications (2016–2022) Related Software: SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
SmartMobile Software Authors: Auer, Ekaterina; Luther, Wolfram Cited in: 14 Publications (2008–2014) Related Software: ValEncIA-IVP; FADBAD++; ValEncIA; Cosy; MOBILE; PROFIL/BIAS; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)
WoLFram Software Authors: Sülflow, André Cited in: 16 Publications (2010–2022) Related Software: R; Yices; KLEE; z3; Daikon; SMT-LIB; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
CSIsat Software Authors: Dirk Beyer; Damien Zufferey; Rupak Majumdar Cited in: 14 Publications (2009–2016) Related Software: FOCI; Princess; Wolverine; SIMPLIFY; z3; BLAST; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CAESAR_SOLVE Software Authors: Radu Mateescu Cited in: 10 Publications (2006–2015) Related Software: CADP; SPIN; Exp.Open; NuSMV; E-LOTOS; DiVinE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Cogent Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Cited in: 11 Publications (2005–2018) Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; MiniSat; FOCI; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
MUSer2 Software Authors: Belov, Anton; Marques-Silva, Joao Cited in: 14 Publications (2013–2021) Related Software: MiniSat; sharpSAT; Reveal; Lingeling; QUICKXPLAIN; PicoSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
YASM Software Authors: Arie Gurfinkel, Ou Wei, Marsha Chechik Cited in: 13 Publications (2006–2022) Related Software: CUDD; SLAM; BLAST; Bebop; SPIN; ASTREE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
YOGI Software Authors: Aditya V. Nori , Sriram K. Rajamani , SaiDeep Tetali , Aditya V. Thakur Cited in: 12 Publications (2010–2021) Related Software: DART; z3; CUTE; Java PathFinder; Pex; KLEE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Galileo Software Authors: Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit Cited in: 10 Publications (2000–2017) Related Software: NuSMV; DFTCalc; DIFtree; CADP; MRMC; WinBUGS; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SYMBA Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Cited 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)
VeriMAP Software Authors: De Angelis E, Fioravanti F, Pettorossi A, Proietti M Cited in: 12 Publications (2015–2022) Related Software: z3; SeaHorn; TRACER; Spacer; CVC4; ARMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-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)
MFIX-DEM Software Authors: Rahul Garg; Janine Galvin; Tingwen Li; Sreekanth Pannala Cited in: 12 Publications (2015–2022) Related Software: OpenFOAM; LAMMPS; LIGGGHTS; CFDEM; Mathematica; openHFDIB; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
Sigma* Software Authors: Matko Botinčan, Domagoj Babić Cited in: 12 Publications (2013–2022) Related Software: libalf; z3; RALib; LearnLib; Daikon; DART; … Main Fields: Computer science (68-XX)
ATGen Software Authors: Christophe Meudec Cited in: 5 Publications (2005–2012) Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; … Main Fields: Computer science (68-XX)
SMACK Software Authors: Carter, M., He, S., Whitaker, J., Rakamarić, Z., Emmi, M. Cited in: 9 Publications (2016–2022) Related Software: z3; CBMC; KLEE; CPAchecker; SeaHorn; BoogiePL; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
VerCors Software Authors: Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina Cited in: 10 Publications (2014–2022) Related Software: Viper; Dafny; Boogie; GPUVerify; Why3; Frama-C; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Algorithm 916 Software Authors: Zaghloul, Mofreh R.; Ali, Ahmed N. Cited in: 8 Publications (2011–2021) Related Software: Matlab; Faddeeva; Algorithm 680; DLMF; GENSPECT; Algorithm 985; … Main Fields: Functions of a complex variable (30-XX); Special functions (33-XX); Approximations and expansions (41-XX)
ANNA Software Authors: Luckham, David Cited in: 8 Publications (1986–2007) Related Software: Ada95; SPARK; Spec#; JML; Eiffel; LARCH; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
jContractor Software Authors: Karaorman, Murat; Abercrombie, Parker Cited in: 9 Publications (2002–2012) Related Software: JML; Eiffel; Spec#; Jass; JUnit; LARCH; … Main Fields: Computer science (68-XX)
LOTOSphere Software Authors: T. Bolognesi, J. van de Lagemaat, C. Vissers Cited in: 6 Publications (2000–2015) Related Software: LOTOS; Concurrency Workbench; XSB; LEGO; Oz; Maude; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CalCS Software Authors: Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L. Cited 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)
CD++ Software Authors: Wainer, Gabriel Cited in: 8 Publications (2002–2010) Related Software: – Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CITP Software Authors: Găină, Daniel; Zhang, Min; Chiba, Yuki; Arimoto, Yasuhito Cited in: 8 Publications (2013–2023) Related Software: Maude; CafeOBJ; CIRC; CASL; OBJ3; ASF+SDF; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ESBMC Software Authors: University of Southampton, University of Stellenbosch, Federal University of Amazonas; Cordeiro, Lucas; Morse, Jeremy; Nicole, Denis; Fischer, Bernd Cited in: 4 Publications (2014–2020) Related Software: CBMC; LLBMC; BLAST; RELAY; LOCKSMITH; Threader; … Main Fields: Computer science (68-XX)
evt Software Authors: Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov Cited in: 6 Publications (2001–2021) Related Software: Erlang; Isabelle; Coq; AspectWerkz; AspectJ; Java-MaC; … Main Fields: Computer science (68-XX)
FShell Software Authors: Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith Cited in: 6 Publications (2010–2016) Related Software: Java PathFinder; CPAchecker; RapiTime; pwcet; BLAST; Wolverine; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
KRATOS Software Authors: A. Cimatti, A. Griggio, A. Micheli, I. Narasamdya, M. Roveri Cited in: 7 Publications (2011–2018) Related Software: BLAST; SystemC; SatAbs; LusSy; veriSoft; Wolverine; … Main Fields: Computer science (68-XX)
OpenJML Software Authors: David R. Cok Cited in: 6 Publications (2011–2022) Related Software: Why3; KeY; Boogie; Spec#; Frama-C; z3; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SAT competition Software Authors: Hans van Maaren; John Franco Cited in: 6 Publications (2009–2017) Related Software: MiniSat; Paramils; SMAC; SATenstein; SATzilla; Chaff; … Main Fields: Computer science (68-XX)
StocHy Software Authors: Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate Cited in: 8 Publications (2019–2023) Related Software: FAUST2; AMYTISS; ProbReach; PRISM; SCOTS; SReach; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Truth/SLC Software Authors: Leucker, Martin; Noll, Thomas Cited in: 4 Publications (2001–2007) Related Software: mCRL; CADP; PlayGame Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Zap Software Authors: Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi Cited in: 6 Publications (2005–2008) Related Software: ESC/Java; SIMPLIFY; Spec#; Chaff; SMT-LIB; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
DisCo Software Authors: Aaltonen, Timo; Katara, Mika; Pitkänen, Risto Cited in: 7 Publications (1998–2006) Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; … Main Fields: Computer science (68-XX)
LARVA Software Authors: Colombo C, Pace GJ, Schneider G Cited in: 6 Publications (2012–2022) Related Software: Scribble; Uppaal; VeriFast; JML; CC-Pi; Timed Conversation; … Main Fields: Computer science (68-XX)
PeRIPLO Software Authors: Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E.J.; Sharygina, Natasha Cited in: 7 Publications (2013–2019) Related Software: eVolCheck; FunFrog; MiniSat; OpenSMT2; OpenSMT; FOCI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pilsner Software Authors: Neis, Georg; Hur, Chung-Kil; Kaiser, Jan-Oliver; McLaughlin, Craig; Dreyer, Derek; Vafeiadis, Viktor Cited in: 7 Publications (2015–2021) Related Software: Coq; CakeML; Isabelle/HOL; HOL; Java Jr; Boogie; … Main Fields: Computer science (68-XX)
RealCertify Software Authors: Victor Magron, Mohab Safey El Din Cited in: 6 Publications (2018–2021) Related Software: SDPA; SeDuMi; multivsos; univsos; RAGlib; Maple; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)
Verigraph Software Authors: Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo Cited in: 7 Publications (2016–2021) Related Software: AGG; Henshin; AGREE; GROOVE; RuleMerger; APIDiff; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
ASPIER Software Authors: Chaki, S. ;Datta, A. Cited in: 5 Publications (2011–2017) Related Software: EasyCrypt; NAXOS; Spi2Java; HMQV; ZKPDL; MJ; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
eVolCheck Software Authors: Grigory Fedyukovich; Ondrej Sery; Natasha Sharygina Cited in: 6 Publications (2013–2019) Related Software: FunFrog; PeRIPLO; OpenSMT2; SymDiff; OpenSMT; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FunFrog Software Authors: Sery, Ondrej; Fedyukovich, Grigory; Sharygina, Natasha Cited in: 5 Publications (2013–2019) Related Software: eVolCheck; PeRIPLO; OpenSMT; OpenSMT2; MiniSat; GNU parallel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HASL Software Authors: Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N. Cited in: 6 Publications (1986–2016) Related Software: COSMOS; Uppaal; PRISM; VESTA; SageMath; SGN Sim; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
StEAM Software Authors: Leven, Peter; Mehler, Tilman; Edelkamp, Stefan Cited in: 3 Publications (2004–2011) Related Software: SPIN; Bebop; Bandera; Bogor; SLAM; SatAbs; … Main Fields: Computer science (68-XX)
Ultimate Automizer Software Authors: Heizmann, Matthias; Christ, Jürgen; Dietsch, Daniel; Ermis, Evren; Hoenicke, Jochen; Lindenmann, Markus; Nutz, Alexander; Schilling, Christian; Podelski, Andreas Cited in: 5 Publications (2015–2021) Related Software: SMTInterpol; CBMC; AProVE; z3; SymDiff; CIL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Workcraft Software Authors: Poliakov, Ivan; Sokolov, Danil; Mokhov, Andrey Cited in: 4 Publications (2011–2022) Related Software: VipTool; Genet; Petrify; ProM; rbminer; TINA; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
ITACA Software Authors: Cámara, J.; Martín, J. A.; Salaün, G.; Cubo, J.; Ouederni, M.; Canal, C.; Pimentel, E. Cited in: 5 Publications (2011–2015) Related Software: Maude; LTSA-WS; WSAT; ContextJ; JavAdaptor; SCEL; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Joogie Software Authors: Arlt, S., Rümmer, P., Schäf, M. Cited in: 4 Publications (2013–2022) Related Software: Frama-C; Viper; Crust; z3; SMACK; VCC; … Main Fields: Computer science (68-XX)
Lazy-CSeq Software Authors: Herdt, Vladimir; Le, Hoang M.; Große, Daniel; Drechsler, Rolf Cited in: 4 Publications (2015–2018) Related Software: CBMC; Cseq; MU-CSeq; AProVE; CEGAR; Symbiotic 2; … Main Fields: Computer science (68-XX)
OSMOSE Software Authors: Bardin, S., Herrmann, P. Cited in: 3 Publications (2011–2017) Related Software: CBMC; GATeL; z3; ASTREE; MiniSat; STP; … Main Fields: Computer science (68-XX)
Rocksalt Software Authors: Morrisett, G., Tan, G., Tassarotti, J., Tristan, J.B., Gan, E. Cited in: 5 Publications (2015–2021) Related Software: Coq; GDSL; GitHub; FreeSpec; operational; Kami; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TCAS Software Authors: Gotlieb, A. Cited in: 3 Publications (2012–2019) Related Software: z3; SMT-LIB; MiniSat; CPBPV; DART; S3; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
VeriCon Software Authors: Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A. Cited in: 5 Publications (2014–2021) Related Software: Anteater; NetKAT; Kuai; VeriFlow; LoLA; Frenetic; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VERIFAS Software Authors: Yuliang Li, Alin Deutsch, Victor Vianu Cited in: 4 Publications (2019–2021) Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VIPR Software Authors: Kevin K.H. Cheung, Ambros Gleixner, Daniel E. Steffy Cited in: 4 Publications (2017–2023) Related Software: SCIP; DRAT-trim; MIPLIB; CPLEX; PaPILO; PPL; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)