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)

Software Authors:   Matt Kaufmann, Strother Moore

Cited in:	280 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)

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

Cited in:	161 Publications (1986–2022)
Related Software:	TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

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)

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)

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)

Software Authors:   McMillan, K.L., Padon, O.

Cited in:	14 Publications (2017–2023)
Related Software:	Ivy; z3; Verdi; nuXmv; Coq; PSync; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Christoph Walther; Stephan Schweitzer

Cited in:	10 Publications (2005–2017)
Related Software:	ACL2; Haskell; Coq; Isabelle/HOL; AProVE; SPIKE; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

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)

Software Authors:   Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate

Cited in:	8 Publications (2019–2023)
Related Software:	FAUST2; AMYTISS; ProbReach; PRISM; SCOTS; SReach; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

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)

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien

Cited in:	6 Publications (2016–2021)
Related Software:	Verdi; Ivy; SPIN; ByMC; z3; Distal; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Muhammad Najib

Cited in:	4 Publications (2019–2021)
Related Software:	MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng

Cited in:	3 Publications (2009–2012)
Related Software:	WSAT; NuSMV; LTSA-WS; SWORD
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S

Cited in:	1 Publication (2018)
Related Software:	Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki

Cited in:	3 Publications (2016–2019)
Related Software:	QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM
Main Fields:	Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf

Cited in:	2 Publications (2017)
Related Software:	Why3; WhyML; Shellcheck; CVC4; checkbashisms; E Theorem Prover; …
Main Fields:	Computer science (68-XX)

Software Authors:   James, Perry R.; Chalin, Patrice

Cited in:	2 Publications (2010–2011)
Related Software:	Boogie; ESC/Java; OTTER; VACID-0; E Theorem Prover; VCC; …
Main Fields:	Computer science (68-XX)

Software Authors:   Jackson, Ethan K.; Schulte, Wolfram

Cited in:	2 Publications (2013–2016)
Related Software:	ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; …
Main Fields:	Computer science (68-XX)

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads

Cited in:	2 Publications (2020–2022)
Related Software:	GNATprove; RGITL; Isabelle/HOL; CIRC; CPAchecker; SeaHorn; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Cheng CH, Ruess H, Shankar N

Cited in:	1 Publication (2016)
Related Software:	MetiTarski; EFSMT; dReal; z3; Yices; QEPCAD
Main Fields:	Computer science (68-XX)

Software Authors:   A. Hazra, R. Mukherjee, P. Dasgupta, A. Pal, K. Harer, A. Banerjee, S. Mukherjee

Cited in:	2 Publications (2016–2018)
Related Software:	PASS; MiniSat; AMT; ASDeX; iscasMc; PROPhESY; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Vlasov, D.Yu.

Cited in:	2 Publications (2011–2020)
Related Software:	Metamath; GitHub; Smm
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Chen, Chen; Jia, Limin; Xu, Hao; Luo, Cheng; Zhou, Wenchao; Loo, Boon Thau

Cited in:	1 Publication (2015)
Related Software:	VCGen; Coq; RapidNet; ProVerif; HOL/SPIN
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Vlasov, D.Yu.

Cited in:	2 Publications (2011–2012)
Related Software:	Metamath; Russell
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark

Cited in:	1 Publication (2021)
Related Software:	googletest; z3; PySMT; MathSAT5; Cython; CVC4; …
Main Fields:	Computer science (68-XX)

Software Authors:   Ákos Hajdu, Dejan Jovanović

Cited in:	2 Publications (2021)
Related Software:	VerX; Manticore; SeaHorn; DeepSEA
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Chen, Chen; Jia, Limin; Xu, Hao; Luo, Cheng; Zhou, Wenchao; Loo, Boon Thau

Cited in:	1 Publication (2015)
Related Software:	SANDLog; Coq; RapidNet; ProVerif; HOL/SPIN
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Melquiond, Guillaume; Rieu-Helft, Raphaël

Cited in:	2 Publications (2020–2023)
Related Software:	Why3; HACL*; WhyML; Isabelle/HOL
Main Fields:	Computer science (68-XX)

Software Authors:   Mingyu Ma, Lars Hedrich, Christian Sporrer

Cited in:	1 Publication (2018)
Related Software:	PASS; MiniSat; AMT; POWER-TRUCTOR; iscasMc; PROPhESY; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Navarro-López; O’Toole, M. D.

Cited in:	1 Publication (2018)
Related Software:	Meschach; ABsolver; dReach; CyPhySim; CalCS; SpaceEx; …
Main Fields:	Mechanics of particles and systems (70-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Software Authors:   Sinha R, Rajamani SK, Seshia SA, Vaswani K

Cited in:	1 Publication (2017)
Related Software:	Laminar; Merlin; SGX; Privtrans; F*; Fable; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kaufmann, Daniela; Biere, Armin

Cited in:	1 Publication (2020)
Related Software:	Pacheck; Bosphorus; RevSCA; Btor2Tools; BtorMC; PolyCleaner; …
Main Fields:	Computer science (68-XX)

Software Authors:   J. Kapinski, X. Jin, J. Deshmukh, A. Donzé, T. Yamaguchi, H. Ito, T. Kaga, S. Kobuna, S. A. Seshia

Cited in:	1 Publication (2019)
Related Software:	S-TaLiRo
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Diethers, Karsten; Huhn, Michaela

Cited in:	1 Publication (2004)
Related Software:	Uppaal
Main Fields:	Computer science (68-XX)

Software Authors:   B. Yordanov, C. Wintersteiger, Y. Hamadi, H. Kugler

Cited in:	1 Publication (2016)
Related Software:	C32SAT; QAGen; ICS; RSat; AMUSE; FaCT++; …
Main Fields:	Computer science (68-XX)