×

Found 906 Software Packages (Results 1–100)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 972 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
Referenced in: 591 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
Referenced in: 701 Publications (1990–2022)
Related Software: Isabelle/HOL; HOL; Coq; PVS; ML; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Uppaal

Software Authors:   Uppsala University, Sweden; Aalborg University in Denmark
Referenced in: 540 Publications (1990–2022)
Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

z3

Software Authors:   Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Referenced in: 607 Publications (2001–2022)
Related Software: SMT-LIB; CVC4; Yices; Coq; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Referenced in: 603 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)

SIFT

Software Authors:   David Lowe
Referenced in: 369 Publications (2006–2022)
Related Software: SURF; PCA-SIFT; PASCAL VOC; LIBSVM; ImageNet; Vlfeat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Referenced 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)

Mizar

Software Authors:   Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban
Referenced in: 505 Publications (1983–2021)
Related Software: Coq; Isabelle/HOL; HOL Light; Isabelle; Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

HyTech

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Referenced in: 312 Publications (1996–2021)
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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
Referenced in: 264 Publications (1999–2021)
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
Referenced 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
Referenced in: 276 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; PVS; HOL; Isabelle; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Referenced 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)

UNITY

Software Authors:   K. Mani Chandy; Jayadev Misra
Referenced in: 173 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)

CafeOBJ

Software Authors:   Mori, Akira; Futatsugi, Kokichi
Referenced 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
Referenced 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)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Referenced in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
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
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

SLAM

Software Authors:   Ball, Thomas; Rajamani, Sriram K.
Referenced in: 121 Publications (2001–2021)
Related Software: BLAST; SPIN; Bandera; CPAchecker; SatAbs; Bebop; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

OBJ3

Software Authors:   J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Referenced in: 135 Publications (1989–2021)
Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Referenced in: 127 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

BLAST

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

Boogie

Software Authors:   K. Rustan M. Leino
Referenced in: 114 Publications (2007–2022)
Related Software: z3; Why3; Spec#; KRAKATOA; Caduceus; ESC/Java; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Referenced 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)

PHAVer

Software Authors:   Frehse, Goran
Referenced 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)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Referenced in: 99 Publications (2002–2021)
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)

Theano

Software Authors:   J. Bergstra, O. Breuleux, F. Bastien, P. Lamblin, R. Pascanu, G. Desjardins, J. Turian, D. Warde-Farley, Y. Bengio.
Referenced in: 65 Publications (2012–2022)
Related Software: TensorFlow; Adam; PyTorch; Python; Keras; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Referenced in: 81 Publications (1999–2021)
Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

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.
Referenced 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
Referenced 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)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Referenced in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SpaceEx

Software Authors:   Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler
Referenced in: 77 Publications (2011–2021)
Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; dReach; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Dafny

Software Authors:   Rustan Leino
Referenced in: 69 Publications (2010–2021)
Related Software: z3; Boogie; Why3; VeriFast; Coq; VCC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

VeriFast

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

KeY

Software Authors:   http://www.key-project.org/people.html
Referenced in: 51 Publications (2000–2021)
Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Caduceus

Software Authors:   Jean-Christophe Filliâtre, Claude Marché
Referenced in: 53 Publications (2005–2021)
Related Software: KRAKATOA; Why3; Boogie; z3; Spec#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

FOCI

Software Authors:   Ranjit Jhala, Kenneth L. McMillan
Referenced in: 63 Publications (2004–2021)
Related Software: Princess; z3; CSIsat; SIMPLIFY; Chaff; BLAST; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Referenced 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)

MathSAT5

Software Authors:   Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
Referenced in: 61 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)

LFW

Software Authors:   Gary B. Huang, Manu Ramesh, Tamara Berg, Erik Learned-Miller
Referenced in: 42 Publications (2011–2022)
Related Software: FaceNet; SIFT; PubFig; FERET; AR face; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MathSAT

Software Authors:   Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Referenced in: 56 Publications (2005–2022)
Related Software: z3; Yices; MiniSat; SMT-LIB; HySAT; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

DISCOVERER

Software Authors:   Xia B
Referenced in: 57 Publications (1999–2022)
Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

mCRL2

Software Authors:   Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
Referenced in: 53 Publications (2007–2022)
Related Software: CADP; Reo; PRISM; Uppaal; SPIN; LTSmin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CakeML

Software Authors:   Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott
Referenced in: 57 Publications (2014–2022)
Related Software: Isabelle/HOL; Coq; HOL; HOL Light; seL4; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

DiVinE

Software Authors:   J. Barnat; L. Brim; P. Rockai
Referenced in: 40 Publications (1996–2020)
Related Software: SPIN; BEEM; NuSMV; LTSmin; Uppaal; PRISM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CompCert

Software Authors:   Leroy, X.
Referenced 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)

CPAchecker

Software Authors:   Dirk Beyer, Stefan Löwe, Philipp Wendler
Referenced in: 38 Publications (2011–2021)
Related Software: BLAST; SLAM; z3; CBMC; UFO; SatAbs; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ToolboxLS

Software Authors:   Ian Mitchell
Referenced in: 52 Publications (2005–2022)
Related Software: top.m; Ellipsoidal Toolbox; Multivac; helperOC; ROC-HJ; MPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GROOVE

Software Authors:   Kastenberg, H., Rensink, A.
Referenced 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)

Pinocchio

Software Authors:   Parno, B., Gentry, C., Howell, J., Raykova, M.
Referenced in: 51 Publications (2013–2022)
Related Software: SNARKs for C; Geppetto; GitHub; zk-SNARK; ADSNARK; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

CVC

Software Authors:   Stump, Aaron; Barrett, Clark W.; Dill, David L.
Referenced in: 45 Publications (2002–2021)
Related Software: CVC Lite; SIMPLIFY; Chaff; SMT-LIB; ICS; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Referenced 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)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Referenced in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
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.
Referenced 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)

FLASH

Software Authors:   Patarin, Jacques; Courtois, Nicolas; Goubin, Louis
Referenced in: 47 Publications (2001–2021)
Related Software: FGb; FLASH; Magma; HE-E1GODF; PARAMESH; MAP; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

Timbuk

Software Authors:   Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; ..
Referenced in: 47 Publications (2001–2020)
Related Software: Maude; AVISPA; Isabelle; ELAN; Isabelle/HOL; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

XM2VTSDB

Software Authors:   Messer, K., Mastas, J., Kittler, J., Luettin, J., Maitre, G.
Referenced in: 22 Publications (2000–2017)
Related Software: FERET; AR face; CMU PIE; LFW; BioID Face Database; Multi-PIE; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HSolver

Software Authors:   Stefan Ratschan; Zhikun She; Tomáš Dzetkulič
Referenced in: 43 Publications (2005–2021)
Related Software: RSOLVER; Benchmarks; HyTech; PHAVer; SpaceEx; Sostools; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Z/EVES

Software Authors:   Community Z Tools Project
Referenced in: 35 Publications (1998–2021)
Related Software: Z; ProofPower; Circus; Coq; JML; ProB; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-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
Referenced 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)

ABC

Software Authors:   Robert Brayton; Alan Mishchenko
Referenced in: 35 Publications (2011–2021)
Related Software: MiniSat; z3; AIGER; CBMC; CUDD; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

SatAbs

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.
Referenced in: 35 Publications (2005–2021)
Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SATIRE

Software Authors:   Whittemore J, Kim J, Sakallah K
Referenced in: 36 Publications (2003–2021)
Related Software: Chaff; MiniSat; BerkMin; SATO; SATORI; PicoSAT; …
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
Referenced in: 38 Publications (2003–2021)
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)

CoLoR

Software Authors:   F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski
Referenced in: 37 Publications (2006–2019)
Related Software: Coq; Isabelle/HOL; CeTA; AProVE; CiME; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

d/dt

Software Authors:   Asarin, Eugene; Dang, Thao; Maler, Oded
Referenced 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)

Design/CPN

Software Authors:   Al-Azzoni, Issam; Down, Douglas G.
Referenced in: 31 Publications (1996–2021)
Related Software: CPN/Tools; TINA; ML; SYROCO; Woflan; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MAGIC

Software Authors:   Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut
Referenced in: 37 Publications (2003–2019)
Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced 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)

Bogor

Software Authors:   Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew
Referenced in: 27 Publications (2003–2014)
Related Software: SPIN; Bandera; veriSoft; Java PathFinder; dSPIN; Zing; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Referenced 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)

UnitWalk

Software Authors:   Hirsch, Edward A.; Kojevnikov, Arist
Referenced in: 32 Publications (2002–2021)
Related Software: Chaff; SATO; BerkMin; SatEx; QingTing1; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Woflan

Software Authors:   Verbeek, Eric; van der Aalst, Wil M.P.
Referenced in: 34 Publications (1999–2017)
Related Software: PNML; YAWL; WSAT; XRL/Flower; SPIN; Metagraphs; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

CEGAR

Software Authors:   Hermanns, Holger; Wachter, Björn; Zhang, Lijun
Referenced in: 35 Publications (2006–2021)
Related Software: PRISM; MRMC; PASS; AMUSE; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

FaceNet

Software Authors:   Florian Schroff, Dmitry Kalenichenko, James Philbin
Referenced in: 28 Publications (2017–2022)
Related Software: LFW; ImageNet; DeepFace; AlexNet; GitHub; LIBSVM; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

SNOOPY

Software Authors:   M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Referenced in: 28 Publications (1994–2021)
Related Software: SUNDIALS; Cell Illustrator; CPN/Tools; KEGG; Charlie; APL; …
Main Fields: Algebraic geometry (14-XX); Partial differential equations (35-XX); Computer science (68-XX)

VerICS

Software Authors:   Zbrzezny, Andrzej; Wo\' zna, Bo\D zena
Referenced 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)

CMC

Software Authors:   Francois Laroussinie; Kim G. Larsen
Referenced in: 31 Publications (2000–2020)
Related Software: Uppaal; Kronos; HyTech; TINA; Romeo; IF-2.0; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NRL

Software Authors:   Meadows, Catherine
Referenced in: 29 Publications (1996–2018)
Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

nuXmv

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
Referenced 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)

WhyML

Software Authors:   Filliâtre, Jean-Christophe; Paskevich, Andrei
Referenced in: 32 Publications (2013–2023)
Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

IMITATOR

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

jStar

Software Authors:   DiStefano, D., Parkinson, M.
Referenced in: 29 Publications (2008–2017)
Related Software: Smallfoot; VeriFast; Coq; Boogie; Spec#; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Referenced in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HIP

Software Authors:   Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma
Referenced in: 30 Publications (2007–2021)
Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced 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)

Reluplex

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

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Referenced in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DeepFace

Software Authors:   Taigman Y, Yang M, Ranzato M, Wolf L.
Referenced in: 27 Publications (2015–2022)
Related Software: ImageNet; AlexNet; FaceNet; GNMT; darch; Adam; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

LOOP

Software Authors:   van den Berg, Joachim; Jacobs, Bart
Referenced in: 24 Publications (2001–2012)
Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MATISSE

Software Authors:   Girard, Antoine; Pappas, George J.
Referenced in: 29 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)

ODESSA

Software Authors:   J. R. Leis and M. A. Kramer
Referenced in: 29 Publications (1988–2021)
Related Software: AUTO-86; CVODES; LSODE; AUTO; DASSL; SUNDIALS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

ARMC

Software Authors:   Andreas Podelski, Andrey Rybalchenko
Referenced in: 25 Publications (2007–2020)
Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Breach

Software Authors:   Alexandre Donzé
Referenced in: 26 Publications (2011–2022)
Related Software: S-TaLiRo; Flow*; SpaceEx; Matlab; KeYmaera; C2e2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Referenced in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Referenced in: 27 Publications (1986–2021)
Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)

Cadence SMV

Software Authors:   McMillan K L.
Referenced 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)