Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 985 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); Numerical analysis (65-XX)
SPIN Software Authors: Bell Labs Cited in: 593 Publications (1990–2022) 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)
PVS Software Authors: Sam Owre, Natarajan Shankar, John Rushby Cited in: 606 Publications (1993–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ML Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Cited in: 486 Publications (1978–2022) Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
NuSMV Software Authors: Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev Cited in: 266 Publications (1999–2022) Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HOL Light Software Authors: Harrison, John Cited in: 305 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
ACL2 Software Authors: Matt Kaufmann, Strother Moore Cited in: 280 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; PVS; Isabelle; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
UNITY Software Authors: K. Mani Chandy; Jayadev Misra Cited in: 178 Publications (1988–2021) Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 157 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)
Java PathFinder Software Authors: Havelund, Klaus; Pressburger, Thomas Cited in: 92 Publications (2000–2021) Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 103 Publications (2002–2022) 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)
seL4 Software Authors: Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S. Cited in: 84 Publications (2009–2022) Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-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; Boogie; Spec#; KRAKATOA; Why3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
MathSAT5 Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto Cited in: 63 Publications (2013–2022) Related Software: z3; CVC4; Yices; SMT-LIB; SMTInterpol; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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)
MathSAT Software Authors: Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Cited in: 56 Publications (2005–2022) Related Software: z3; Yices; HySAT; MiniSat; SMT-LIB; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)
CompCert Software Authors: Leroy, X. Cited in: 50 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)
GROOVE Software Authors: Kastenberg, H., Rensink, A. Cited in: 42 Publications (2004–2020) Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
PolyBoRi Software Authors: Alexander Dreyer; Michael Brickenstein Cited in: 48 Publications (2008–2021) Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)
ABC Software Authors: Robert Brayton; Alan Mishchenko Cited in: 36 Publications (2011–2022) Related Software: MiniSat; z3; AIGER; SPIN; GitHub; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
WSAT Software Authors: Fu, Xiang; Bultan, Tevfik; Su, Jianwen Cited in: 29 Publications (2004–2019) Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
STeP Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe Cited in: 33 Publications (1997–2015) Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Reluplex Software Authors: Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer Cited in: 29 Publications (2017–2022) Related Software: AI2; Marabou; Adam; NNV; MNIST; DeepFool; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)
Cadence SMV Software Authors: McMillan K L. Cited in: 22 Publications (2000–2018) Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
MAYA Software Authors: Hutter, Dieter; Autexier, Serge Cited in: 23 Publications (2002–2015) Related Software: CASL; Isabelle; Mizar; TPTP; PVS; OMDoc; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
qGCL Software Authors: Zuliani, Paolo Cited in: 23 Publications (2000–2021) Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)
NetKAT Software Authors: Anderson, C.J., Foster, N., Guha, A., Jeannin, J.-B., Kozen, D., Schlesinger, C., Walker, D. Cited in: 25 Publications (2014–2021) Related Software: Frenetic; VeriFlow; VeriCon; Regular Sets; Coq; Nettle; … 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)
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)
MARTE Software Authors: Object Management Group, Inc. Cited in: 10 Publications (2009–2017) Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-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)
FoCs Software Authors: Abarbanel, Yael; Beer, Ilan; Gluhovsky, Leonid; Keidar, Sharon; Wolfsthal, Yaron Cited in: 17 Publications (2000–2018) Related Software: LTL2BA; HOL; SPIN; Copilot; JPAX; ANTLR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Milawa Software Authors: Myreen, Magnus O.; Davis, Jared Cited in: 19 Publications (2011–2020) Related Software: HOL; Jitawa; Coq; HOL Light; Isabelle/HOL; CakeML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Checkfence Software Authors: Burckhardt, S., Alur, R., Martin, M.K. Cited in: 18 Publications (2007–2018) Related Software: veriSoft; SPIN; UMM; CBMC; Java Grande; Antichains; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
SCEL Software Authors: Rocco De Nicola, Diego Latella. Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin Cited in: 15 Publications (2014–2021) Related Software: KLAIM; Maude; PALOMA; Linda; CARMA; SCELlight; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CVT Software Authors: Pnueli, A.; Shtrichman, O.; Siegel, M. Cited in: 17 Publications (1998–2021) Related Software: TVOC; CVC; SystemC; ICS; Loopy; Crellvm; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)
VIS Software Authors: Brayton, R.K., et al. Cited in: 10 Publications (2005–2015) Related Software: NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)
scyther Software Authors: Cremers, C. Cited in: 14 Publications (2009–2017) Related Software: AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)
ISLANDER Software Authors: Marc Esteva , David de la Cruz , Carles Sierra Cited in: 9 Publications (2006–2016) Related Software: Society Visualiser; Jason; NuSMV; Moise+; CCalc; 2APL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LTSA-WS Software Authors: Magee J, Kramer J, Uchitel S, et al Cited in: 11 Publications (2006–2021) Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; … Main Fields: Computer science (68-XX)
Isabelle/Circus Software Authors: Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff Cited in: 12 Publications (2013–2017) Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Lava Software Authors: Bjesse, P., Claessen, K., Sheeran, M., Singh, S. Cited in: 11 Publications (2002–2018) Related Software: Haskell; muFP; Coquet; Coq; Feldspar; CUDA; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
ISP Software Authors: Cormac Flanagan; Patrice Godefroid Cited in: 9 Publications (2008–2018) Related Software: KLEE; SPIN; veriSoft; SpecExplorer; ConTest; Bandera; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Ivy Software Authors: McMillan, K.L., Padon, O. Cited in: 11 Publications (2017–2022) Related Software: Ivy; z3; nuXmv; Verdi; SPIN; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ChC 3 Software Authors: Durán, Francisco; Meseguer, José Cited in: 10 Publications (2010–2020) Related Software: Maude; CRC 3; MTT; Anima; Web-TLR; Julienne; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
Exp.Open Software Authors: Frédéric Lang Cited in: 10 Publications (2006–2021) Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Java-MaC Software Authors: Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky Cited in: 11 Publications (2003–2021) Related Software: JPAX; Java-MOP; Copilot; InterAspect; evt; AspectWerkz; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ANNA Software Authors: Luckham, David Cited in: 8 Publications (1986–2007) Related Software: Ada95; Spec#; JML; Eiffel; SPARK; LARCH; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Rebeca Software Authors: Jaghoori, Mohammad Mahdi; Sirjani, Marjan; Mousavi, Mohammad Reza; Khamespanah, Ehsan; Movaghar, Ali Cited in: 8 Publications (2010–2022) Related Software: Uppaal; Creol; Timed Rebeca; SPIN; Viptos; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriFun Software Authors: Christoph Walther; Stephan Schweitzer Cited in: 10 Publications (2005–2017) Related Software: ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)
Kleene Algebra Software Authors: Armstrong, A., Struth, G., Weber, T. Cited in: 9 Publications (2015–2022) Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-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)
TRX Software Authors: Koprowski, Adam; Binsztok, Henri Cited in: 8 Publications (2010–2020) Related Software: Coq; Agda; HOL; CompCert; GitHub; seL4; … Main Fields: Computer science (68-XX)
AEtnaNova Software Authors: Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz Cited in: 8 Publications (2011–2018) Related Software: Referee; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Functions of a complex variable (30-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)
CertiKOS Software Authors: Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D. Cited in: 8 Publications (2017–2020) Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
EVC Software Authors: Velev, Miroslav N.; Bryant, Randal E. Cited in: 8 Publications (2001–2012) Related Software: Velev SAT Benchmarks; Chaff; BerkMin; PicoSAT; tts; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); 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)
KJS Software Authors: Daejun Park, Andrei Ştefănescu, Grigore Roşu Cited in: 8 Publications (2015–2021) Related Software: K-Java; Maude; Coq; JavaScript; K Prover; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-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; DDVerify; … Main Fields: Computer science (68-XX)
tKlaim Software Authors: De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario Cited in: 6 Publications (2005–2008) Related Software: KLAIM; Linda; Klava; SLMC; MWB Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
UMM Software Authors: Yang Y, Gopalakrishnan G, Lindstrom G Cited in: 6 Publications (2007–2016) Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; … Main Fields: Computer science (68-XX)
UniForM Software Authors: Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer Cited in: 7 Publications (1999–2011) Related Software: Uppaal; FranTk; GHC; Haskell; MersenneTwister; DCVALID; … Main Fields: Computer science (68-XX)
ACTLW Software Authors: – Cited in: 6 Publications (2008–2016) Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLPS-B Software Authors: Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien Cited in: 2 Publications (2002–2009) Related Software: ProB; jbtools; Rodin; XSB; FDR2; Oz; … Main Fields: 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)
Edmonds-Karp Software Authors: Lammich, Peter; Sefidgar, S. Reza Cited in: 7 Publications (2016–2021) Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
PREVAIL Software Authors: Borrione, Dominique; Pierre, Laurence; Salem, Ashraf Cited in: 5 Publications (1992–2014) Related Software: Nuprl; CoqMTU; Coquet; Coq; CESAR; LARCH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Referee Software Authors: Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz Cited in: 7 Publications (2013–2018) Related Software: AEtnaNova; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Sylvan Software Authors: van Dijk, T.; van de Pol, J. Cited in: 7 Publications (2020–2022) Related Software: LTSmin; Storm; PROPhESY; GitHub; BuDDy; CUDD; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
VATA Software Authors: Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš Cited in: 7 Publications (2012–2019) Related Software: MTBDD; Slide; MONA; Cyclist; Antichains; HIP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Z3str2 Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Cited in: 6 Publications (2017–2023) Related Software: Z3str3; HAMPI; CVC4; Stranger; Norn; z3; … Main Fields: Computer science (68-XX)
BDDNOW Software Authors: Kim Milvang-Jensen, Alan J. Hu Cited in: 6 Publications (2000–2011) Related Software: Gprof; Sycraft; CUDD; Murphi; NuSMV; SPIN Main Fields: Computer science (68-XX)
Ralf Software Authors: Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt Cited in: 6 Publications (1997–2014) Related Software: RALL; RelView; Isabelle/HOL; Rath; ARA; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
RT-ASLAN Software Authors: Auernheimer B, Kemmerer R A. Cited in: 3 Publications (1994–2002) Related Software: Esterel; Ada95; ASTRAL Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Speedith Software Authors: Urbas, M., Jamnik, M., Stapleton, G., Flower, J. Cited in: 5 Publications (2012–2019) Related Software: Openproof; Diabelli; Dr.Doodle; MaSh; Hets; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)
Z2sal Software Authors: J Derrick, S North, A J H Simons Cited in: 5 Publications (2008–2012) Related Software: SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Bedrock Software Authors: Adam Chlipala Cited in: 4 Publications (2017–2019) Related Software: Coq; Toolchain; OCaml; Archive Formal Proofs; Amortized Complexity; Separation Logic; … Main Fields: Mathematical logic and foundations (03-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; CEGAR; Symbiotic 2; CPAlien; … Main Fields: Computer science (68-XX)
LusSy Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Cited in: 3 Publications (2007–2013) Related Software: SystemC; KRATOS; veriSoft; Esterel; Pinapa; LLVM; … Main Fields: Computer science (68-XX)
MarCaSPiS Software Authors: Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink Cited in: 5 Publications (2009–2015) Related Software: COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
ModelPlex Software Authors: Mitsch, S., Platzer, A. Cited in: 3 Publications (2016–2021) Related Software: KeYmaera; SpaceEx; KeYmaera X; Bellerophon; dReach; VeriPhy; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Mosel Software Authors: P. Kelb, T. Margaria, M. Mendler, C. Gsottberger Cited in: 4 Publications (1998–2018) Related Software: MONA; ATV; BioMOBY; Bio-SPICE; ClustalW; EMBOSS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MTBDD Software Authors: Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš Cited in: 5 Publications (2012–2019) Related Software: VATA; MONA; Slide; Antichains; HIP; Clafer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PSync Software Authors: Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien Cited in: 5 Publications (2016–2021) Related Software: Verdi; SPIN; ByMC; z3; Distal; Horus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
REDLIB Software Authors: Farn Wang Cited in: 5 Publications (2011–2014) Related Software: Kronos; CMC; Synthia; Uppaal; UPPAAL TIGA; Tempo; … 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; FreeSpec; operational; Kami; GitHub; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
RuleBasePE Software Authors: IBM Cited in: 3 Publications (2009–2012) Related Software: CBMC; Rhapsody; VIATRA2 Main Fields: Computer science (68-XX)
SAT Solver Verification Software Authors: Filip Maric Cited in: 5 Publications (2009–2018) Related Software: Archive Formal Proofs; Chaff; Isabelle/HOL; MiniSat; BerkMin; SATO; … Main Fields: Computer science (68-XX)
StocHy Software Authors: Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate Cited in: 5 Publications (2019–2022) Related Software: FAUST2; PRISM; SReachTools; ProbReach; AMYTISS; MoDeST; … Main Fields: Computer science (68-XX); Systems theory; control (93-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; Frenetic; LoLA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Verigraph Software Authors: Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo Cited in: 5 Publications (2016–2021) Related Software: AGG; AGREE; GROOVE; APIDiff; MIGRATE; EMorF; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)