×

Found 224 Software Packages (Results 1–100)

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)