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)

Software Authors:   Hatcliff, John; Dwyer, Matthew

Cited in:	104 Publications (2000–2018)
Related Software:	SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.

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

Software Authors:   Gabriele Taentzer

Cited in:	67 Publications (1994–2022)
Related Software:	GROOVE; PROGRES; AToM3; VIATRA2; Henshin; GrGen; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Software Authors:   Joost-Pieter Katoen; RWTH Aachen

Cited in:	67 Publications (2006–2022)
Related Software:	PRISM; Ymer; Uppaal; CADP; Storm; CEGAR; …
Main Fields:	Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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)

Software Authors:   Giuseppina Bellu , Maria Pia Saccomani, Stefania Audoly , Leontina D’Angiò

Cited in:	56 Publications (2008–2022)
Related Software:	SIAN; GenSSI; COMBOS; BLAD; ObservabilityTest; Maple; …
Main Fields:	Commutative algebra (13-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.

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

Software Authors:   Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen

Cited in:	32 Publications (1993–2018)
Related Software:	SPIN; SLAM; veriSoft; Bogor; Java PathFinder; SatAbs; …
Main Fields:	Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Statistics (62-XX)

Software Authors:   Dwyer, Matthew B.; Hatcliff, John; Hoosier, Matthew; Robby, Matthew

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

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:   André, Étienne

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

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:   Andreas Podelski, Andrey Rybalchenko

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

Software Authors:   Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob

Cited in:	28 Publications (2002–2017)
Related Software:	SLMC; Cyclone; PiDuce; Automath; TyPiCal; COWS; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Jorn Lind-Nielsen

Cited in:	24 Publications (1999–2022)
Related Software:	CUDD; Sylvan; GitHub; PDDL; ML; SINGULAR; …
Main Fields:	Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

Software Authors:   Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia

Cited in:	24 Publications (2002–2020)
Related Software:	Chaff; PVS; MiniSat; SMT-LIB; cvc3; Siege; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

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)

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.

Cited in:	23 Publications (2015–2022)
Related Software:	z3; CPAchecker; VeriMAP; SMACK; JayHorn; RAHFT; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Chis O, Banga J, Balsa-Canto E

Cited in:	16 Publications (2013–2023)
Related Software:	DAISY; SIAN; AMIGO; COMBOS; ObservabilityTest; GitHub; …
Main Fields:	Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

Software Authors:   Radu Mateescu

Cited in:	10 Publications (2006–2015)
Related Software:	CADP; SPIN; Exp.Open; E-LOTOS; NuSMV; M-TREE; …
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:   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:   Sato, Ryosuke; Kobayashi, Naoki; Hiroshi Unno

Cited in:	14 Publications (2015–2021)
Related Software:	z3; CVC4; GitHub; Dafny; Spacer; JayHorn; …
Main Fields:	Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

Software Authors:   Brett T. McClintock, Theo Michelot

Cited in:	8 Publications (2017–2023)
Related Software:	moveHMM; R; crawl; ctmm; kftrack; ukfsst; …
Main Fields:	General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Carter, M., He, S., Whitaker, J., Rakamarić, Z., Emmi, M.

Cited in:	8 Publications (2016–2022)
Related Software:	CBMC; z3; KLEE; CPAchecker; SeaHorn; Frama-C; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

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)

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)

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)

Software Authors:   Temple Lang D

Cited in:	6 Publications (1999–2014)
Related Software:	R; GGobi; XGobi; CRAN; HYDRA; lattice; …
Main Fields:	General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-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:   Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel

Cited in:	5 Publications (2011–2016)
Related Software:	Maude; iJulienne; Anima; DDebugger; ChC 3; Hood; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Earle, C.B., Fredlund, L.-Å.

Cited in:	3 Publications (2009–2018)
Related Software:	Erlang; QuickCheck; MapReduce; evt; HaRe; EtomCRL2
Main Fields:	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:   Kumar, R.; Colin, C.; Hartikainen, A.; Martin, O. A.

Cited in:	2 Publications (2019–2021)
Related Software:	Python; PyMC; Stan; eipack; EI; RxCEcolInf; …
Main Fields:	Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-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:   Sery, Ondrej; Fedyukovich, Grigory; Sharygina, Natasha

Cited in:	5 Publications (2013–2019)
Related Software:	eVolCheck; PeRIPLO; OpenSMT; OpenSMT2; GNU parallel; UFO; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Moy, M., Maraninchi, F., Maillet-Contoz, L.

Cited in:	4 Publications (2008–2011)
Related Software:	SystemC; veriSoft; Esterel; LusSy; MathSAT; KRATOS; …
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)

Software Authors:   Leven, Peter; Mehler, Tilman; Edelkamp, Stefan

Cited in:	3 Publications (2004–2011)
Related Software:	SPIN; Bandera; Bogor; SLAM; veriSoft; SatAbs; …
Main Fields:	Computer science (68-XX)

Software Authors:   Brian Norris, Brian Demsky

Cited in:	5 Publications (2015–2017)
Related Software:	OpenCL; Coq; ThreadSanitizer; MultiRace; ktsan; tsan; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Bureš, T.; Hnetynka, P.; Plášil, F.

Cited in:	4 Publications (2012–2017)
Related Software:	D-Finder; ArchJava; AmbientTalk; JCobox; ABS; SACO; …
Main Fields:	Computer science (68-XX)

Software Authors:   Wieringa, Roel J.; Jansen, David N.

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

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; LoLA; Frenetic; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Seghir, M.N., Podelski, A.

Cited in:	3 Publications (2009–2011)
Related Software:	SLAM; SatAbs; SIMPLIFY; PVS; ARMC
Main Fields:	Computer science (68-XX)

Software Authors:   Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog

Cited in:	4 Publications (2019–2021)
Related Software:	zUpdate; PTrie; NuSMV; TAPAAL; LoLA; FatTire; …
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:   Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry

Cited in:	2 Publications (2015–2017)
Related Software:	SNOOPY; SNAKES; ANDy; ZBDD; SABRE; MARCIE; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Pelliccione, P.; Inverardi, P.; Muccini, H.

Cited in:	2 Publications (2003–2013)
Related Software:	SPIN; AUTOSAR; MARTE; SysML; Uppaal
Main Fields:	Computer science (68-XX)

Software Authors:   Le Berre, D., Lynce, I.

Cited in:	3 Publications (2014–2016)
Related Software:	MiniZinc; Azucar; Proteus; clasp; WEKA; SATzilla; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars

Cited in:	3 Publications (2015–2016)
Related Software:	VMC; Maude; MSTA; MultiVeStA; CPAchecker; ProMoVer; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   B. Yordanov, C. Belta

Cited in:	4 Publications (2013–2018)
Related Software:	NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN
Main Fields:	Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Software Authors:   Temesghen Kahsai; Rody Kersten; Philipp Rümmer; Huascar Sanchez; Martin Schäf

Cited in:	3 Publications (2020–2021)
Related Software:	SeaHorn; z3; FunArray; JPF-SE; JBMC; Spacer; …
Main Fields:	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:   Gheorghe, M., Ipate, F., Mierla, L., Konur, S.

Cited in:	4 Publications (2015–2021)
Related Software:	CompCert; ProB; Rodin; Coq; GitHub; CuSNP; …
Main Fields:	Computer science (68-XX)

Software Authors:   De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco

Cited in:	4 Publications (2014–2020)
Related Software:	SCEL; SPIN; Linda; KLAIM; Pirlo; MultiVeStA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro

Cited in:	3 Publications (2015–2018)
Related Software:	Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; …
Main Fields:	Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)

Software Authors:   Niemetz, A.; Preiner, M.; Wolf, C.; Biere, A.; Chockler, H.; Weissenbacher, G

Cited in:	3 Publications (2020–2022)
Related Software:	Boolector; Pacheck; Bosphorus; Nusschecker; RevSCA; Btor2Tools; …
Main Fields:	Computer science (68-XX)

Software Authors:   Camilli, Matteo; Bellettini, Carlo; Capra, Lorenzo; Monga, Mattia; Netflix

Cited in:	3 Publications (2018–2021)
Related Software:	Zabbix; UPC; Apache Kafka; Apache Samza; Cassandra; Sun Grid Engine; …
Main Fields:	Computer science (68-XX)

Software Authors:   Soranzo, N., Altafini, C.

Cited in:	2 Publications (2010–2012)
Related Software:	SuBliMinaL; JSBML; KEGGtranslator; KEGG; BioModels; Metatool; …
Main Fields:	Biology and other natural sciences (92-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:   Gurfinkel, A., Belov, A.

Cited in:	2 Publications (2017–2018)
Related Software:	CBMC; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; Jakstab; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas

Cited in:	3 Publications (2014–2021)
Related Software:	ACL2s; veriSoft; DDVerify; MAGIC; Threader; SLAB; …
Main Fields:	Computer science (68-XX)

Software Authors:   Wright, Gordon P.; Worobetz, N.Dan; Kang, Myong; Mookerjee, Radha V.; Chandrasekharan, Radha

Cited in:	3 Publications (1997–2005)
Related Software:	GAMS; AMPL; NEOS; OOPS; LPFML; CONOPT; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Benoît Boyer; Kevin Corre; Axel Legay; Sean Sedwards

Cited in:	2 Publications (2016)
Related Software:	PLASMA; APMC; Uppaal; PRISM; COSMOS; Ymer; …
Main Fields:	Computer science (68-XX)

Software Authors:   Aichernig, Bernhard K.; Tappler, Martin

Cited in:	3 Publications (2019–2021)
Related Software:	PRISM; Qhull; z3; BisimDist; NModel; MQTT; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas

Cited in:	3 Publications (2012–2017)
Related Software:	Threader; MAGIC; ASTREE; Apron; DDVerify; monabs; …
Main Fields:	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:   Balakrishnan, G.; Reps, T.; Kidd, N.; Lal, A.; Lim, J.; Melski, D.; Gruian, R.; Yong, S.; Chen, C.-H.; Teitelbaum, T.

Cited in:	3 Publications (2005–2013)
Related Software:	CBMC; DART; KLEE; SPIN; Mjollnir; BAP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico

Cited in:	2 Publications (2013–2021)
Related Software:	UPPAAL TIGA
Main Fields:	Systems theory; control (93-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:   Troják, Matej; Šafránek, David; Brozmann, Branislav; Brim, Luboš

Cited in:	2 Publications (2020–2022)
Related Software:	pyModelChecking; rxncon; libSBML; Chromar; PySB; BioNetGen
Main Fields:	Biology and other natural sciences (92-XX)

Software Authors:   Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby

Cited in:	2 Publications (2011–2018)
Related Software:	ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; …
Main Fields:	Computer science (68-XX)

Software Authors:   Liang Jing; Victor De Oliveira

Cited in:	0 Publications
Related Software:	R; CARBayes; Geoxp; LISP-STAT; plotKML; PtProcess; …
Main Fields:	–

Software Authors:   S. Bak

Cited in:	2 Publications (2015–2017)
Related Software:	GTEngine; HYST; Charon; HyDI; SpaceEx; PHAVer; …
Main Fields:	Computer science (68-XX)

Software Authors:   Xie, Fei; Levin, Vladimir; Browne, James C.

Cited in:	1 Publication (2002)
Related Software:	TLPVS; Uppaal; PVS; SPIN; IF-2.0; Kronos
Main Fields:	Computer science (68-XX)

Software Authors:   Schreiner, Wolfgang

Cited in:	2 Publications (2018)
Related Software:	Nitpick; MathChat; CoqHammer; MathTools; Aligator.jl; OMDoc; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Donaldson, A.F., Kroening, D., Rümmer, P.

Cited in:	2 Publications (2011)
Related Software:	RacerX; MiniSat; Eraser; SatAbs; CBMC; Cellss; …
Main Fields:	Computer science (68-XX)

Software Authors:   De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio

Cited in:	2 Publications (2013–2019)
Related Software:	LOGEN; PPL; HSF; TRACER; ARMC
Main Fields:	Computer science (68-XX)

Software Authors:   Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke

Cited in:	2 Publications (2012–2017)
Related Software:	TravMC2; GitHub; MoCHi; TRecS; BLAST
Main Fields:	Computer science (68-XX)

Software Authors:   Kobayashi, N.

Cited in:	2 Publications (2012)
Related Software:	TravMC; BLAST; THORS; EigenCFA
Main Fields:	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:   de Azevedo Oliveira D, Medeiros V, Déharbe D, Musicante MA

Cited in:	1 Publication (2021)
Related Software:	WebASM; SICStus; JeB; Rodin; Overture Tool; VisB; …
Main Fields:	Computer science (68-XX)

Software Authors:   Nguyen, An N.; Quan, Tho T.; Nguyen, Phung H.; Bui, Thang H.

Cited in:	0 Publications
Related Software:	z3; HIP; Java PathFinder; QuickCheck; SIMPLIFY; Alt-Ergo; …
Main Fields:	–

Software Authors:   Ivancic, F., Balakrishnan, G., Gupta, A., et al.

Cited in:	0 Publications
Related Software:	DDVerify; CBMC; CPAchecker; BLAST
Main Fields:	–

Software Authors:   Guo, Q., Derrick, J., Benac Earle, C., Fredlund, L.Å.

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

Software Authors:   Bueno, Denis; Sakallah, Karem A.

Cited in:	1 Publication (2019)
Related Software:	Calysto; CTIGAR; MOPS; z3; SMT-LIB; SLAM; …
Main Fields:	Computer science (68-XX)

Software Authors:   M. Nilsson

Cited in:	1 Publication (2008)
Related Software:	KURE; Z; MCK; Haskell
Main Fields:	Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

Software Authors:   Mauno Rönkkö

Cited in:	1 Publication (2013)
Related Software:	ltlfilt; lbtt; autcross; ltlcross; SPOT; SPIN
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   The Multicore Association

Cited in:	0 Publications
Related Software:	MODIST; GDB; SPIN; CUDA; veriSoft
Main Fields:	–

Software Authors:   Reynaud, D.

Cited in:	1 Publication (2015)
Related Software:	MCMAS-SLK; CTLSAT; EAGLE; MOCHA; PRALINE; MCMAS; …
Main Fields:	Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   V. Ermolayev, A. Copylov, N. Keberle, E. Jentzsch, W.-E . Matzke

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

Software Authors:   Luca Scrucca

Cited in:	0 Publications
Related Software:	ARC; LISP-STAT
Main Fields:	–

Software Authors:   Katanosov, Artem

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

Software Authors:   Pfeiffer, Rolf-Helge; Wasowski, Andrzej

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

Software Authors:   Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O’Brien

Cited in:	0 Publications
Related Software:	Hypothesis; MutPy; DLint; EvoSuite; Python; Pynguin
Main Fields:	–

Software Authors:   Travkin, Oleg; Wehrheim, Heike

Cited in:	1 Publication (2016)
Related Software:	GitHub; Lazy-CSeq; UMM; Checkfence; CBMC; LLVM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Jan Olaf Blech; Heinz Schmidt

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

Software Authors:   Anier, Aivo; Vain, Jüri; Tsiopoulos, Leonidas

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

Software Authors:   Abal, Iago; Brabrand, Claus; Wąsowski, Andrzej

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:	–