Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David

Cited in:	438 Publications (2001–2022)
Related Software:	MRMC; Uppaal; SPIN; Storm; Bio-PEPA; PEPA; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.

Cited 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)

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:	267 Publications (1999–2022)
Related Software:	SPIN; CUDD; Uppaal; Chaff; PRISM; Bandera; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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)

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)

Software Authors:   Nikolai Tillmann, Jonathan de Halleux

Cited in:	25 Publications (2009–2021)
Related Software:	DART; CUTE; z3; STP; KLEE; Java PathFinder; …
Main Fields:	Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta

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

Software Authors:   Ciardo, G.; Jones, R.L.; Miner, A.S.; Siminiceanu, R.

Cited in:	23 Publications (2000–2018)
Related Software:	SPIN; PRISM; NuSMV; Möbius; PEPA; MRMC; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain

Cited 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)

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)

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)

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom

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

Software Authors:   Biere, Armin

Cited in:	22 Publications (2005–2017)
Related Software:	sKizzo; QUBOS; DepQBF; Bloqqer; MiniSat; QUBE; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar

Cited in:	18 Publications (2015–2022)
Related Software:	z3; Yices; HMC; CVC4; Princess; Mjollnir; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Rohit Chadha, Vincent Cheval, Ștefan Ciobâcă, Steve Kremer

Cited in:	16 Publications (2012–2022)
Related Software:	AVISPA; TAMARIN; Apte; YAPA; scyther; Maude-NPA; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Cook, Byron; Kroening, Daniel; Sharygina, Natasha

Cited in:	11 Publications (2005–2018)
Related Software:	SatAbs; SIMPLIFY; SPIN; Bebop; MiniSat; FOCI; …
Main Fields:	Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

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)

Software Authors:   Anand S, Pasareanu CS, Visser W

Cited in:	6 Publications (2011–2021)
Related Software:	Java PathFinder; DART; CUTE; Korat; SLAM; BLAST; …
Main Fields:	Computer science (68-XX)

Software Authors:   Grégoire Hamon, Leonardo de Moura, John Rushby

Cited in:	5 Publications (2004–2021)
Related Software:	SPIN; PVS; RAISE; HybridSal; AETG; Simulink; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Lind-Nielsen, Jørn; Andersen, Henrik Reif; Hulgaard, Henrik; Behrmann, Gerd; Kristoffersen, Kåre; Larsen, Kim G

Cited in:	7 Publications (1999–2010)
Related Software:	CBMC; APS; NuSMV; BLAST; veriSoft; APS-1; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

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; Wolverine; …
Main Fields:	Computer science (68-XX)

Software Authors:   Malvin Gattinger

Cited in:	8 Publications (2015–2021)
Related Software:	DEMO; MCMAS; MCK; PDDL; HasCacBDD; CacBDD; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R.

Cited in:	7 Publications (2015–2022)
Related Software:	CVC4; SIMPLIFY; FlashMeta; z3; Yices; FlashExtract; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Yuan, L.; Mai, J.; Su, Z.; Chen, H.; Chuah, C. N.; Mohapatra, P.

Cited in:	5 Publications (2009–2018)
Related Software:	margrave; Firmato; HOL-TestGen; CP-miner; Kodkod; z3; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E.J.; Sharygina, Natasha

Cited in:	7 Publications (2013–2019)
Related Software:	eVolCheck; FunFrog; OpenSMT2; MiniSat; OpenSMT; FOCI; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Chaki, S. ;Datta, A.

Cited in:	5 Publications (2011–2017)
Related Software:	EasyCrypt; NAXOS; Spi2Java; HMQV; ZKPDL; MJ; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Heiner, Monika; Schwarick, Martin; Tovchigrechko, Alexej

Cited in:	5 Publications (2011–2012)
Related Software:	SNOOPY; MoVisPP; COPASI; ZBDD; SMART_
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal

Cited in:	3 Publications (2010–2017)
Related Software:	TCAS; CBMC; MiniSat; STP; BINSEC/SE; OSMOSE; …
Main Fields:	Computer science (68-XX)

Software Authors:   Yann Thierry-Mieg

Cited in:	5 Publications (2019–2022)
Related Software:	TINA; LoLA; LTSmin; SNAKES; SPIN; TAPAAL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   –

Cited in:	5 Publications (2002–2014)
Related Software:	Kronos; HyTech; REDLIB; Synthia; UPPAAL TIGA; CMC; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.; Thomas, A.; Kang, M.; Kirsch, C.; Majumdar, R.; Mang, F.; Wang, B. -Y.

Cited in:	4 Publications (2008–2021)
Related Software:	MOCHA; MCMAS; MCMAS-SLK; VerICS; MCK; 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)

Software Authors:   Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y.

Cited in:	2 Publications (2011–2021)
Related Software:	Helena; AlPiNA; GreatSPN
Main Fields:	Computer science (68-XX)

Software Authors:   Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., Spica, P.

Cited in:	3 Publications (2008–2014)
Related Software:	CBMC; SLAM; SPIN; SAFARI; FunArray; ASTREE; …
Main Fields:	Computer science (68-XX)

Software Authors:   Mrázek, J., Bauch, P., Lauko, H., Barnat, J

Cited in:	2 Publications (2018)
Related Software:	jCUTE; CIL; Symbiotic 2; nuXmv; CBMC; Java PathFinder; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Verified Software Laboratory, under the direction of Stephen Siegel

Cited in:	3 Publications (2011–2012)
Related Software:	KLEE; ISP; cvc3; KLEE-FP; Bandera; Bogor; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Siegel, S.F., et al.

Cited in:	2 Publications (2020)
Related Software:	Viper; VerCors; Threader; VeriFast; Chalice; Cascade; …
Main Fields:	Computer science (68-XX)

Software Authors:   Patel, Reema; Patel, Kevin; Patel, Dhiren

Cited in:	2 Publications (2015)
Related Software:	PRISM
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Baldamus, Michael; Schr"oder-Babo, Jochen

Cited in:	2 Publications (2001–2010)
Related Software:	PROMELA; SPIN; ETCH; Haskell; ML; SMV
Main Fields:	Computer science (68-XX)

Software Authors:   Costa, G., Basin, D., Bodei, C., Degano, P., Galletta, L.

Cited in:	2 Publications (2018–2020)
Related Software:	MuDiv; libFAUDES; TCT; GitHub; CMC; GPUVerify; …
Main Fields:	Computer science (68-XX)

Software Authors:   Mann, M., et al.

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

Software Authors:   Casagrande, A

Cited in:	2 Publications (2021–2022)
Related Software:	rxncon; libSBML; Chromar; eBCSgen; PySB; BioNetGen; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Biere, Armin; Knoop, Jens; Kov'acs, Laura; Zwirchmayr, Jakob

Cited in:	1 Publication (2017)
Related Software:	r-TuBound; STP; OTAWA; Stony Brook; KLEE; LLVM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Chakraborty, Supratik; Khasidashvili, Zurab; Seger, Carl-Johan H.; Gajavelly, Rajkumar; Haldankar, Tanmay; Chhatani, Dinesh; Mistry, Rakesh

Cited in:	2 Publications (2017–2020)
Related Software:	MiniSat; ABC; MathSAT5; CVC4; CUDD; Yices; …
Main Fields:	Computer science (68-XX)

Software Authors:   Pattabiraman, Karthik; Nakka, Nithin M.; Kalbarczyk, Zbigniew T.; Iyer, Ravishankar K.

Cited in:	2 Publications (2012–2013)
Related Software:	Stratego; AProVE; ReSpecT; KOOL; Java+ITP; K Prover; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Barner, Sharon; Glazberg, Ziv; Rabinovitz, Ishai

Cited in:	2 Publications (2005–2007)
Related Software:	Java PathFinder
Main Fields:	Computer science (68-XX)

Software Authors:   Al-Shaer, E., Alsaleh, M.

Cited in:	1 Publication (2018)
Related Software:	GitHub; Autoref; nftables; iptables; pgf; Routing; …
Main Fields:	Computer science (68-XX)

Software Authors:   Mattarei, C., Mann, M., Barrett, C., et al.

Cited in:	0 Publications
Related Software:	googletest; Yosys; z3; Ivy; Verilog2SMV; SPIN; …
Main Fields:	–

Software Authors:   Wang, Rui; Liu, Wanwei; Li, Tun; Mao, Xiaoguang; Wang, Ji

Cited in:	1 Publication (2013)
Related Software:	NuSMV
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Ondrej Lengal; Jiri Simacek; Tomas Vojnar; Martin Hruska; Lukas Holik

Cited in:	1 Publication (2019)
Related Software:	TaPAS; Antichains; LTL2BA; SPIN
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang

Cited in:	1 Publication (2014)
Related Software:	SNOOPY; Access/CPN; CPN/Tools; TAPAAL
Main Fields:	Computer science (68-XX)

Software Authors:   Pang, Tao; Duan, Zhenhua; Liu, Xiaofang

Cited in:	1 Publication (2015)
Related Software:	CUDD; NuSMV
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Alexandre Hamez

Cited in:	1 Publication (2019)
Related Software:	LoLA; LOEWE; ITS-Tools; caesar.bdd; Meddly; CAESAR; …
Main Fields:	Computer science (68-XX)

Software Authors:   López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier

Cited in:	0 Publications
Related Software:	BEEM; Tom; libDDD; SPIN; ELAN
Main Fields:	Computer science (68-XX)

Software Authors:   Sahu, Sneha; Schorr, Ruth; Medina-Bulo, Inmaculada; Wagner, Matthias

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Koshelev, V. K.; Ignatiev, V. N.; Borzilov, A. I.; Belevantsev, A. A.

Cited in:	0 Publications
Related Software:	–
Main Fields:	–