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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
CoMA Software Authors: P Arcaini, A Gargantini, E Riccobene Cited in: 2 Publications (2016–2021) Related Software: AsmetaSMV; NuSMV; ASMETA; Maude; SPIN; COWS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FLAVERS Software Authors: Cobleigh, J.M.; Clarke, L.A.; Osterweil, L.J. Cited in: 0 Publications Related Software: PMD; PQL; CodeSurfer; Checkstyle; MOPS; JML; … Main Fields: –
kPWorkbench Software Authors: Gheorghe, M., Ipate, F., Mierla, L., Konur, S. Cited in: 4 Publications (2015–2021) Related Software: CompCert; ProB; Rodin; Coq; GitHub; CuSNP; … Main Fields: Computer science (68-XX)
SCELlight Software Authors: De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco Cited in: 4 Publications (2014–2020) Related Software: SCEL; SPIN; Linda; KLAIM; Pirlo; MultiVeStA; … Main Fields: Computer science (68-XX)
VeriSIMPL Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro Cited in: 3 Publications (2015–2018) Related Software: Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)
Vertaf Software Authors: S.-W. Lin, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu Cited in: 2 Publications (2013) Related Software: Cellss; MARTE; Intel TBB; Uppaal; Sycraft; MR4UM; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Conductor Software Authors: Camilli, Matteo; Bellettini, Carlo; Capra, Lorenzo; Monga, Mattia; Netflix Cited in: 3 Publications (2018–2021) Related Software: TensorFlow; GitHub; Zabbix; UPC; Apache Kafka; Apache Samza; … Main Fields: Computer science (68-XX)
DREAM Tool Software Authors: Gabor Madl Cited in: 2 Publications (2006–2013) Related Software: HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; … Main Fields: Computer science (68-XX)
ENFORCe Software Authors: Azab, K., Habel, A., Pennemann, K.H., Zuckschwerdt, C. Cited in: 3 Publications (2019–2020) Related Software: OCLinEcore; OCL2AC; Grez; CatLib; VxToolbox; VisiGraphJS; … Main Fields: Computer science (68-XX)
HyDI Software Authors: Cimatti A, Mover S, Tonetta S Cited in: 3 Publications (2013–2015) Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Omnibus Software Authors: Wilson, T., Maharaj, S., Clark, R.G Cited in: 2 Publications (2007–2010) Related Software: ESC/Java; Spec#; Boogie; SIMPLIFY; JML; Eiffel; … Main Fields: Computer science (68-XX)
TASS_ Software Authors: Verified Software Laboratory, under the direction of Stephen Siegel Cited in: 3 Publications (2011–2012) Related Software: KLEE; ISP; cvc3; KLEE-FP; Bandera; Bogor; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
verifier Software Authors: Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki Cited in: 3 Publications (2016–2019) Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM Main Fields: Computer science (68-XX); Quantum theory (81-XX)
CoLiS Software Authors: Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf Cited in: 2 Publications (2017) Related Software: Why3; WhyML; Shellcheck; CVC4; checkbashisms; E Theorem Prover; … Main Fields: Computer science (68-XX)
CosyVerif Software Authors: Haddad, S., Kordon, F., Petruci, L. Cited in: 2 Publications (2013–2015) Related Software: TINA; Helena; Cython; SNAKES; SWIG; Graphviz; … Main Fields: Computer science (68-XX)
Gauss Software Authors: Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby Cited in: 2 Publications (2011–2018) Related Software: ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; … Main Fields: Computer science (68-XX)
LOEWE Software Authors: – Cited in: 2 Publications (2008–2019) Related Software: CAESAR; CADP; LoLA; ITS-Tools; caesar.bdd; Meddly; … Main Fields: Computer science (68-XX)
POWER-TRUCTOR Software Authors: A. Hazra, R. Mukherjee, P. Dasgupta, A. Pal, K. Harer, A. Banerjee, S. Mukherjee Cited in: 2 Publications (2016–2018) Related Software: PASS; MiniSat; AMT; ASDeX; iscasMc; PROPhESY; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
REMM Software Authors: Moscato, Francesco; Venticinque, Salvatore; Aversa, Rocco; Di Martino, Beniamino Cited in: 2 Publications (2008–2021) Related Software: Rodin; Jadex Main Fields: Computer science (68-XX)
VERSA Software Authors: D. Clarke, I. Lee, H.-l. Xie Cited in: 2 Publications (1997–2017) Related Software: CARTS; Uppaal Main Fields: Computer science (68-XX)
Wolf Software Authors: Barner, Sharon; Glazberg, Ziv; Rabinovitz, Ishai Cited in: 2 Publications (2005–2007) Related Software: Java PathFinder Main Fields: Computer science (68-XX)
ACVisualizer Software Authors: Ahmad, Raheel; Rahimi, Shahram Cited in: 1 Publication (2008) Related Software: CLIPS; MWB Main Fields: Computer science (68-XX)
COMBINE Software Authors: Nguyen, An N.; Quan, Tho T.; Nguyen, Phung H.; Bui, Thang H. Cited in: 0 Publications Related Software: z3; HIP; Java PathFinder; QuickCheck; SIMPLIFY; Alt-Ergo; … Main Fields: –
Dynamite 2.0 Software Authors: Moscato, Mariano M.; López Pombo, Carlos G.; Frias, Marcelo F. Cited in: 0 Publications Related Software: PVS Main Fields: –
Eleven82 Software Authors: Koskinen, Eric; Yang, Junfeng Cited in: 1 Publication (2016) Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; … Main Fields: Computer science (68-XX)
Moat Software Authors: Sinha R, Rajamani SK, Seshia SA, Vaswani K Cited in: 1 Publication (2017) Related Software: Laminar; Merlin; SGX; Privtrans; F*; Fable; … Main Fields: Computer science (68-XX)
NNVODE Software Authors: Manzanas Lopez, Diego; Musau, Patrick; Hamilton, Nathaniel P.; Johnson, Taylor T. Cited in: 1 Publication (2022) Related Software: NeuralCDE; torchcde; Diffrax; JuliaReach; nnenum; Verisig; … Main Fields: Computer science (68-XX)
petBoss Software Authors: Yu, Cunxi; Yasin, Atif; Su, Tiankai; Mishchenko, Alan; Ciesielski, Maciej Cited in: 1 Publication (2018) Related Software: ABC; STABLE; SINGULAR Main Fields: Computer science (68-XX)
Rehearsal Software Authors: Rian Shambaugh, Aaron Weiss, Arjun Guha Cited in: 1 Publication (2021) Related Software: Terraform; p4v; LWeb; Ansible Main Fields: Computer science (68-XX)
Slicing Software Authors: Daniel Wasserrab Cited in: 1 Publication (2008) Related Software: Isabelle/Isar; Isabelle/HOL; Isabelle Main Fields: Computer science (68-XX)
SPARK Pro Software Authors: AdaCore Cited in: 1 Publication (2014) Related Software: MiniSat; STP; CIL; EXPLODE; Klockwork; CodeSonar; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)
ST-Lib Software Authors: J. Kapinski, X. Jin, J. Deshmukh, A. Donzé, T. Yamaguchi, H. Ito, T. Kaga, S. Kobuna, S. A. Seshia Cited in: 1 Publication (2019) Related Software: S-TaLiRo Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Veracity Software Authors: Eastaughffe, K. A.; Ozols, M. A.; Cant, A. Cited in: 1 Publication (1997) Related Software: XIsabelle; PVS; Isabelle Main Fields: Computer science (68-XX)
Vooduu Software Authors: Diethers, Karsten; Huhn, Michaela Cited in: 1 Publication (2004) Related Software: Uppaal Main Fields: Computer science (68-XX)