×

Found 332 Software Packages (Results 1–100)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Cited in: 484 Publications (1978–2021)
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)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Cited in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Twelf

Software Authors:   Twelf Project; Frank Pfenning; Carsten Schürmann
Cited in: 169 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Beluga; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

CafeOBJ

Software Authors:   Mori, Akira; Futatsugi, Kokichi
Cited in: 160 Publications (1997–2021)
Related Software: Maude; OBJ3; CASL; ELAN; ITP; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX)

Esterel

Software Authors:   Gérard Berry
Cited in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 105 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)

PHAVer

Software Authors:   Frehse, Goran
Cited in: 115 Publications (2005–2022)
Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ASTREE

Software Authors:   Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Cited in: 108 Publications (2002–2021)
Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)

Featherweight Java

Software Authors:   Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip
Cited in: 86 Publications (2001–2021)
Related Software: ML; MJ; JML; Scala; Eiffel; Creol; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-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)

CBMC

Software Authors:   Clarke E, Kroening D, Lerda F
Cited in: 74 Publications (2004–2021)
Related Software: MiniSat; SPIN; BLAST; z3; CPAchecker; SLAM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Cited in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriFast

Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Cited in: 61 Publications (2009–2022)
Related Software: Boogie; Dafny; z3; Why3; jStar; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ciao

Software Authors:   Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.
Cited in: 52 Publications (1999–2022)
Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

XDuce

Software Authors:   Haruo Hosoya , Benjamin C. Pierce
Cited in: 52 Publications (2003–2020)
Related Software: CDuce; XPath; PiDuce; XQuery; OCaml; XPi; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SIGNAL

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Cited in: 48 Publications (1987–2018)
Related Software: Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SPARK

Software Authors:   Foulger, Darren; King, Steve
Cited in: 37 Publications (1990–2016)
Related Software: JML; ESC/Java; Spec#; KRAKATOA; Ada95; SIMPLIFY; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Cited in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

UPPAAL TIGA

Software Authors:   Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.
Cited in: 44 Publications (2007–2021)
Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; …
Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

UQLab

Software Authors:   Lataniotis C, Marelli S, Sudret B
Cited in: 38 Publications (2016–2022)
Related Software: AK-MCS; DACE; DAKOTA; EGO; OPQ; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Uppaal2k

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin
Cited in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HYSDEL

Software Authors:   Fabio Danilo Torrisi, Alberto Bemporad, Gioele Bertini, Peter Hertach, Dominic Jost, Domenico Mignone
Cited in: 40 Publications (2003–2022)
Related Software: Hybrid Toolbox; CPLEX; HyTech; MPT; Chaff; cdd; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MCNP

Software Authors:   Breismeister; LANL
Cited in: 36 Publications (1999–2022)
Related Software: GEANT4; VTK; CGAL; PRMLT; BayesDA; EGSnrc; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Cited in: 30 Publications (2002–2022)
Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

d/dt

Software Authors:   Asarin, Eugene; Dang, Thao; Maler, Oded
Cited in: 38 Publications (2002–2021)
Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VerICS

Software Authors:   Zbrzezny, Andrzej; Wo\' zna, Bo\D zena
Cited in: 33 Publications (2005–2021)
Related Software: MCMAS; MCK; MOCHA; MCMAS-SLK; NuSMV; CUDD; …
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: 32 Publications (2015–2022)
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)

TVLA

Software Authors:   Tal Lev-Ami; Mooly Sagiv
Cited in: 31 Publications (2000–2020)
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COUPLEX

Software Authors:   Bourgeat, A.; Kern, M.; Schumacher, S.; Talandier, J.
Cited in: 33 Publications (2004–2022)
Related Software: UG; HYDROGEOCHEM; JHomogenizer; PhreeqcRM; PHREEQC; MoMaS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

IMITATOR

Software Authors:   André, Étienne
Cited in: 30 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)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Cited in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BEEM

Software Authors:   Radek Pelánek
Cited in: 19 Publications (2008–2022)
Related Software: SPIN; DiVinE; LTL2BA; Murphi; Isabelle/HOL; PGSolver; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Reluplex

Software Authors:   Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer
Cited in: 28 Publications (2017–2022)
Related Software: AI2; Marabou; Adam; MNIST; DeepFool; NNV; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Cited in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MATISSE

Software Authors:   Girard, Antoine; Pappas, George J.
Cited in: 30 Publications (2007–2022)
Related Software: HyTech; PHAVer; SpaceEx; Sostools; Matlab; d/dt; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Benchmarks

Software Authors:   Ratschan, Stefan; She, Zhikun
Cited in: 25 Publications (2005–2021)
Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Cited in: 23 Publications (2010–2022)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CCured

Software Authors:   Necula, G.C., McPeak, S., Weimer, W.
Cited in: 18 Publications (2002–2018)
Related Software: SLAM; Cyclone; DART; Java PathFinder; CIL; Bandera; …
Main Fields: 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)

PolyTOIL

Software Authors:   Bruce, K., Schuett, A., van Gent, R., Fiech, A.
Cited in: 19 Publications (1997–2014)
Related Software: Eiffel; Featherweight Java; Smalltalk; BETA; ML; Simula 67; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Cited in: 19 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SLAyer

Software Authors:   Josh Berdine; Byron Cook; Samin Ishtiaq
Cited in: 19 Publications (2012–2022)
Related Software: VeriFast; Smallfoot; Coq; z3; Cyclist; HIP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RAMAS Risk Calc

Software Authors:   Ferson S.
Cited in: 18 Publications (2003–2022)
Related Software: Statool; FEAPpv; eSTOMP; R; IPP Toolbox; DSI Toolbox; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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)

TorX

Software Authors:   Bohnenkamp, Henrik; Belinfante, Axel
Cited in: 16 Publications (2005–2021)
Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cubicle

Software Authors:   Conchon, S., Goel, A., Krstić, S., Mebsout, A., Zaïdi, F.
Cited in: 18 Publications (2013–2021)
Related Software: Mcmt; z3; VERIFAS; SAFARI; Ivy; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Cited in: 18 Publications (2015–2022)
Related Software: z3; Yices; HMC; Princess; Mjollnir; Boogie; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Atelier B

Software Authors:   ClearSy; France Steria
Cited in: 16 Publications (2000–2021)
Related Software: ProB; Rodin; Zenon; CADP; SPIN; LOTOS; …
Main Fields: Mathematical logic and foundations (03-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)

Giotto

Software Authors:   Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
Cited in: 14 Publications (2001–2022)
Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

HYTEC

Software Authors:   Jan van der Lee, Laurent De Windt, Vincent Lagneau, Patrick Goblet
Cited in: 16 Publications (2010–2022)
Related Software: MoMaS; MIN3P; HYDROGEOCHEM; PHREEQC; SPECY; PhreeqcRM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

SURROGATES

Software Authors:   Viana, F.A.C
Cited in: 12 Publications (2010–2020)
Related Software: EGO; DACE; Matlab; DiceOptim; DiceKriging; SPACE; …
Main Fields: Statistics (62-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Threader

Software Authors:   Popeea, Corneliu; Rybalchenko, Andrey
Cited in: 12 Publications (2012–2020)
Related Software: CPAchecker; SLAM; CBMC; Predator; UFO; SymmPa; …
Main Fields: Computer science (68-XX)

FAUST2

Software Authors:   S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
Cited in: 14 Publications (2017–2021)
Related Software: PRISM; StocHy; SReachTools; AMYTISS; MPT; Sostools; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Infer

Software Authors:   Calcagno, C., Distefano, D.
Cited in: 13 Publications (2015–2021)
Related Software: Slide; Smallfoot; HIP; Coq; Toolchain; VeriFast; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

YASM

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

CertiCoq

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.
Cited in: 13 Publications (2017–2022)
Related Software: Coq; CakeML; Isabelle/HOL; OEuf; HOL; Fiat; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Dylan

Software Authors:   Shalit A
Cited in: 12 Publications (1996–2014)
Related Software: Python; Eiffel; Cecil; Ruby; LISP; R; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

PAM-CRASH

Software Authors:   ESI Group
Cited in: 13 Publications (1999–2019)
Related Software: ABAQUS; nanoFluidX; Pasimodo; PAM-OPT; MAVI; UNIPASS; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

PLAN

Software Authors:   Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
Cited in: 9 Publications (1997–2005)
Related Software: Guava; AtomCaml; Atomizer; OCaml; Maude; Atropos; …
Main Fields: Computer science (68-XX)

SMV

Software Authors:   Ed Clarke; K. L. McMillan; E. A. Emerson; J. R. Burch
Cited in: 13 Publications (1986–2018)
Related Software: HyTech; PHAVer; SPIN; HSolver; RSOLVER; MATISSE; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Wolverine

Software Authors:   Weissenbacher, Georg; Kroening, Daniel; Malik, Sharad
Cited in: 11 Publications (2012–2020)
Related Software: SLAM; CPAchecker; BLAST; SatAbs; z3; UFO; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Concluder

Software Authors:   Waldemar W. Koczkodaj
Cited in: 12 Publications (1993–2016)
Related Software:
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CoSyma

Software Authors:   Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor
Cited in: 12 Publications (2015–2022)
Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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; GitHub; ABC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MJ

Software Authors:   Bierman GM, Parkinson MJ, Pitts AM
Cited in: 9 Publications (2006–2019)
Related Software: Featherweight Java; Welterweight Java; Cyclone; JavaSPI; AGVI; Scala; …
Main Fields: Computer science (68-XX)

Piton

Software Authors:   J S. Moore
Cited in: 11 Publications (1993–2013)
Related Software: ACL2; Isabelle/HOL; Coq; PVS; ML; NQTHM; …
Main Fields: Computer science (68-XX)

SACO

Software Authors:   Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., Gómez-Zamalloa, M., Martin-Martin, E., Puebla, G., Román-Díez, G.
Cited in: 10 Publications (2014–2021)
Related Software: ABS; JCobox; Kilim; COSTABS; SPEED; KeY-ABS; …
Main Fields: Computer science (68-XX)

ComFoRT

Software Authors:   Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
Cited in: 10 Publications (2005–2011)
Related Software: MAGIC; SatAbs; Bebop; Aglets; TLPVS; KLAIM; …
Main Fields: Computer science (68-XX)

Goldilocks

Software Authors:   Elmas, T., Qadeer, S., Tasiran, S.
Cited in: 9 Publications (2009–2017)
Related Software: Eraser; Atomizer; FastTrack; Coq; SatAbs; BIDE; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

InVeSt

Software Authors:   Bensalem S, Lakhnech Y, Owre S
Cited in: 10 Publications (1999–2013)
Related Software: PVS; TREX; HOL; ACL2; HyTech; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NOrec

Software Authors:   Dalessandro, L., Spear, M.F., Scott, M.L.
Cited in: 9 Publications (2010–2022)
Related Software: RingSTM; JudoSTM; DiSTM; STAMP; TLRW; Synchrobench; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SAFARI

Software Authors:   Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.
Cited in: 8 Publications (2014–2020)
Related Software: Mcmt; z3; Booster; MathSAT5; CVC4; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TLAPS

Software Authors:   Lamport, L
Cited in: 10 Publications (1999–2021)
Related Software: SPIN; FOOL; Satallax; STeP; LaTeX; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

AI2

Software Authors:   Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T.
Cited in: 9 Publications (2020–2021)
Related Software: Reluplex; DeepFool; Marabou; Adam; PyTorch; DeepGauge; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX)

Caml

Software Authors:   INRIA
Cited in: 9 Publications (1993–2021)
Related Software: OCaml; ACL2; Python; IDV; IMPS; Panoptes; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

HACL*

Software Authors:   Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
Cited in: 9 Publications (2018–2023)
Related Software: Why3; Toolchain; WhyMP; WhyML; Isabelle/HOL; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Jinja Threads

Software Authors:   Lochbihler, A.
Cited in: 9 Publications (2009–2020)
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; BicolanoMT; Locales; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

Line-up

Software Authors:   Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.
Cited in: 9 Publications (2011–2021)
Related Software: Coq; SPIN; RGITL; Z; KIV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Statool

Software Authors:   Berleant, Daniel; Xie, Lizhi; Zhang, Jianzhong
Cited in: 9 Publications (2003–2016)
Related Software: RAMAS Risk Calc; INTOPT_90; Interval arithmetic for Ada
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DeepXplore

Software Authors:   Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
Cited in: 6 Publications (2019–2021)
Related Software: DeepGauge; TensorFuzz; ImageNet; DLFuzz; Adam; Reluplex; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Systems theory; control (93-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)

HMC

Software Authors:   Jhala, R., Majumdar, R., Rybalchenko, A.
Cited in: 7 Publications (2014–2021)
Related Software: z3; Spacer; SeaHorn; Princess; Boogie; JayHorn; …
Main Fields: Mathematical logic and foundations (03-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)

SLAB

Software Authors:   Dräger, K., Kupriyanov, A., Finkbeiner, B., Wehrheim, H.
Cited in: 6 Publications (2012–2018)
Related Software: Wolverine; SatAbs; Threader; CPAchecker; SLAM; FOCI; …
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)

Booster

Software Authors:   Alberti, Francesco; Ghilardi, Silvio; Sharygina, Natasha
Cited in: 6 Publications (2014–2021)
Related Software: Mcmt; SAFARI; z3; SMT-LIB; CVC4; FunArray; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CVPP

Software Authors:   Huisman, Marieke; Gurov, Dilian
Cited in: 7 Publications (2004–2015)
Related Software: MAVEN; Bandera; Uppaal; SPIN; TIMES; Moped; …
Main Fields: Number theory (11-XX); Statistics (62-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)

ECOM

Software Authors:   Lee, Jungpyo; Cerfon, Antoine
Cited in: 7 Publications (2015–2021)
Related Software: CHEASE; XTOR; CEDRES++; PETSc; ERATO; TOPICS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Klocwork

Software Authors:   Rogue Wave Software, Inc.
Cited in: 3 Publications (2007–2021)
Related Software: FindBugs; CodeSonar; STANSE; Cascade; QEMU; SMACK; …
Main Fields: Computer science (68-XX)

PKind

Software Authors:   Kahsai T, Tinelli C
Cited in: 7 Publications (2013–2020)
Related Software: GitHub; SeaHorn; CPAchecker; CTIGAR; Esterel; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RGITL

Software Authors:   Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang
Cited in: 7 Publications (2014–2022)
Related Software: SPIN; KIV; HolBA; SeaHorn; GNATprove; Leon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Sycraft

Software Authors:   B. Bonakdarpour, S. Kulkarni
Cited in: 6 Publications (2009–2015)
Related Software: CUDD; Vertaf; MR4UM; Uppaal; SPIN; NuSMV; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Vellvm

Software Authors:   Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve
Cited in: 7 Publications (2012–2021)
Related Software: Coq; LLVM; GraalVM; GitHub; CompCert; CakeML; …
Main Fields: Computer science (68-XX)

XPi

Software Authors:   Acciai, Lucia; Boreale, Michele
Cited in: 6 Publications (2008–2020)
Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; …
Main Fields: Computer science (68-XX)

c2i

Software Authors:   Sharma, Rahul; Aiken, Alex
Cited in: 5 Publications (2016–2020)
Related Software: z3; Houdini; Spacer; Eldarica; Princess; FLATA; …
Main Fields: Computer science (68-XX)

CFAST

Software Authors:   NIST
Cited in: 5 Publications (1998–2015)
Related Software: Fire Dynamics Simulator; RAD-NNET; BEHAVE; AutoCAD
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

CouchDB

Software Authors:   Apache
Cited in: 3 Publications (2011–2021)
Related Software: Cassandra; MongoDB; MySQL; MapReduce; Erlang; Celery; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)