UMDES Software Authors: Christos G. Cassandras; Stéphane Lafortune Cited in: 401 Publications (1996–2022) Related Software: Supremica; libFAUDES; SPIN; GLPK; TCT; Matlab; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HyTech 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)
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)
Esterel Software Authors: Gérard Berry Cited in: 137 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
MONA Software Authors: Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J. Cited in: 137 Publications (1995–2023) Related Software: z3; DCVALID; NuSMV; Isabelle/HOL; Uppaal; SIMPLIFY; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
LTL2BA Software Authors: Gastin, Paul; Oddoux, Denis Cited in: 93 Publications (2001–2022) Related Software: SPIN; SPOT; NuSMV; CESAR; lbtt; CUDD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 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)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Timbuk Software Authors: Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; .. Cited 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)
TREX Software Authors: Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela Cited in: 39 Publications (2001–2021) Related Software: FAST; HyTech; LASH; Uppaal; SPIN; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
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)
LANGAGE Software Authors: Caron, Pascal Cited in: 39 Publications (2000–2021) Related Software: TESTAS; AG; Algorithm 97; Stamina; Euler; LANGAGEA; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
PGSolver Software Authors: Oliver Friedmann; Martin Lange Cited in: 37 Publications (2009–2022) Related Software: Strix; Rabinizer; BEEM; GitHub; SPIN; PRISM-games; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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)
IMITATOR Software Authors: André, Étienne Cited in: 32 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)
PEPS Software Authors: L. Baldo, L. Fernandes, P. Roisenberg, P. Velho, T. Webber Cited in: 30 Publications (1993–2014) Related Software: PEPA; GTAEXPRESS; SMART_; APNN-Toolbox; SPIN; CUDD; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
Antichains Software Authors: De Wulf M, Doyen L, Henzinger TA, Raskin JF Cited in: 33 Publications (2006–2021) Related Software: MONA; HIP; SPIN; LTL2BA; FAST; Slide; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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)
MIO Workbench Software Authors: Bauer, Sebastian S.; Mayer, Philip; Legay, Axel Cited in: 28 Publications (2010–2022) Related Software: Motras; ECDAR; MSTA; Mica; Circus; Esterel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SPOT Software Authors: Duret-Lutz, A. ;Poitrenaud, D. Cited in: 27 Publications (2005–2022) Related Software: LTL2BA; SPIN; NuSMV; lbtt; Cadence SMV; Rabinizer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
QCADesigner Software Authors: Walus, K., Dysart, T.J., Jullien, G.A., Budiman, R.A. Cited in: 25 Publications (2010–2022) Related Software: QCAPro; NIST Statistical Test Suite Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)
Romeo Software Authors: Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.) Cited in: 26 Publications (2005–2020) Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Rabbit Software Authors: Beyer, Dirk; Lewerentz, Claus; Noack, Andreas Cited in: 22 Publications (2001–2018) Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
Supremica Software Authors: Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik Cited in: 24 Publications (2009–2023) Related Software: UMDES; libFAUDES; REGAL; TCT; QuickCheck; MersenneTwister; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
LASH Software Authors: Bernard Boigelot Cited in: 22 Publications (2000–2021) Related Software: FAST; TREX; MONA; LIRA; ALGOL 60; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PESSOA Software Authors: Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak Cited in: 21 Publications (2011–2022) Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FLATA Software Authors: Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar Cited in: 21 Publications (2009–2021) Related Software: Eldarica; Princess; z3; FAST; Aspic; Spacer; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Slide Software Authors: Iosif, R., Rogalewicz, A., Vojnar, T. Cited in: 21 Publications (2013–2022) Related Software: Infer; HIP; Smallfoot; Cyclist; Predator; MONA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TAXYS Software Authors: Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick Cited in: 15 Publications (2001–2017) Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
TAPAAL Software Authors: Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří Cited in: 19 Publications (2011–2022) Related Software: Uppaal; Romeo; TINA; PTrie; Kronos; PetriNets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
REGAL Software Authors: Bassino, Frédérique; David, Julien; Nicaud, Cyril Cited in: 19 Publications (1997–2022) Related Software: Antichains; Supremica; carData; car; ToXgene; minpack Main Fields: Statistics (62-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
Stranger Software Authors: Fang Yu, Muath Alkhalaf, Tevfik Bultan Cited in: 18 Publications (2011–2023) Related Software: HAMPI; z3; Z3str3; Norn; S3; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LiQuor Software Authors: – Cited in: 18 Publications (2007–2018) Related Software: PRISM; MRMC; Rapture; Ymer; PASS; Rabinizer; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
LearnLib Software Authors: Harald Raffelt; Bernhard Steffen; Therese Berg; Tiziana Margaria Cited in: 11 Publications (2011–2019) Related Software: libalf; Sigma*; Uppaal; UMDES; Isabelle/HOL; RALib; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ariadne Software Authors: Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano Cited in: 15 Publications (2008–2023) Related Software: HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
COMPAS Software Authors: Chmiel, Krzysztof; Roman, Adam Cited in: 14 Publications (1990–2021) Related Software: TESTAS; Boost; Vaucanson; AUTOMATE; PATRICIA; Maple Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
DCVALID Software Authors: P. Pandya Cited in: 16 Publications (2001–2022) Related Software: MONA; IDLVALID; Uppaal; Kronos; MRMC; Modechart; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FAdo Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Cited in: 15 Publications (2010–2021) Related Software: GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Petruchio Software Authors: Tim Strazny; Roland Meyer; Sven Linker Cited in: 15 Publications (2008–2022) Related Software: MWB; SLMC; Storm; MCMAS; PRISM; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Regular Sets Software Authors: Alexander Krauss; Tobias Nipkow Cited in: 16 Publications (2011–2018) Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Myhill-Nerode; Isabelle; Presburger Automata; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
RFSA Software Authors: Denis, Francois; Lemay, Aurelien; Terlutte, Alain Cited in: 15 Publications (2001–2021) Related Software: libalf; EMILE Main Fields: Computer science (68-XX)
AutomGrp Software Authors: Yevgen Muntyan, Dmytro Savchuk Cited in: 15 Publications (2008–2022) Related Software: FR; GAP; automata Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
OpenFst Software Authors: Allauzen, Cyril; Riley, Michael; Schalkwyk, Johan; Skut, Wojciech; Mohri, Mehryar Cited in: 15 Publications (2007–2021) Related Software: Vaucanson; GUItar; FAdo; SFST; FSA; Tiburon; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
rbminer Software Authors: Solé, Marc; Carmona, Josep Cited in: 12 Publications (2010–2022) Related Software: HybridILPMiner; VipTool; Genet; ProM; Petrify; DB2; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Vaucanson Software Authors: Lombardy, Sylvain; Poss, Raphaël; Régis-Gianas, Yann; Sakarovitch, Jacques Cited in: 14 Publications (2004–2016) Related Software: OpenFst; GUItar; FAdo; CGAL; Python; Grail; … Main Fields: Computer science (68-XX)
automata Software Authors: Manuel Delgado, Steve Linton, Jose Morais Cited in: 14 Publications (2005–2020) Related Software: GAP; SgpViz; OEIS; PermLab; FR; AutomGrp; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
CoLoSS Software Authors: G. Calin, R. Myers, D. Pattinson, L. Schröder Cited in: 13 Publications (2009–2020) Related Software: FaCT++; Pellet; Isabelle; Imogen; JTabWb; Cool; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
MATHLAB Software Authors: Engelman, C. Cited in: 14 Publications (1969–2005) Related Software: REDUCE; MACSYMA; ALGOL 60; Maple; Mathematica; SNOBOL; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
JFLAP Software Authors: Rodger S, Finley T Cited in: 11 Publications (2002–2019) Related Software: SPIN; FAUST; CAITLIN; Tango; ANIMAL; Pavane; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
QCAPro Software Authors: Srivastava, S; Asthana, A; Bhanja, S; Sarkar, S Cited in: 13 Publications (2017–2022) Related Software: QCADesigner; NIST Statistical Test Suite Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)
Rabinizer Software Authors: Gaiser A, Křetínský J, Esparza J Cited in: 13 Publications (2012–2022) Related Software: PRISM; ltl2dstar; BEEM; SPOT; LTL2BA; TTM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Strix Software Authors: Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon Cited in: 13 Publications (2019–2021) Related Software: PGSolver; Acacia+; CUDD; MONA; nuXmv; ABC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
AMoRE Software Authors: O. Matz, A. Miller, A. Potthoff, W. Thomas, E. Valkema Cited in: 12 Publications (1998–2010) Related Software: GAP; AUTOMATE; Grail; Quicksort; OEIS; MONOiD; … Main Fields: General and overarching topics; collections (00-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
AUTOMATE Software Authors: Champarnaud, J.M.; Hansel, G. Cited in: 12 Publications (1990–2019) Related Software: Grail; AMoRE; Semigroupe; libsemigroups; Semigroups; MONOiD; … Main Fields: General algebraic systems (08-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
libalf Software Authors: Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker; Daniel Neider; David R. Piegdon Cited in: 10 Publications (2011–2021) Related Software: LearnLib; Sigma*; COMICS; jq; LEVER; CALF; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
RAMAS Software Authors: Kloetzer, Marius; Belta, Calin Cited in: 12 Publications (2006–2013) Related Software: RoVerGeNe; HyTech; PHAVer; SpaceEx; HSolver; Benchmarks; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Exp.Open Software Authors: Frédéric Lang Cited in: 10 Publications (2006–2021) Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Myhill-Nerode Software Authors: Wu, Chunhan; Zhang, Xingyuan; Urban, Christian Cited in: 11 Publications (2011–2020) Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; Coq; Isabelle/HOL; MSO_Regex_Equivalence; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
GUItar Software Authors: André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis Cited in: 9 Publications (2010–2018) Related Software: FAdo; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
libFAUDES Software Authors: Bernd Opitz, Thomas Moor, Klaus Schmidt Cited in: 10 Publications (2010–2020) Related Software: UMDES; PESTS; MuDiv; TCT; Supremica; GitHub; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
RATSY Software Authors: Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber Cited in: 9 Publications (2012–2021) Related Software: JTLV; NuSMV; CUDD; UMDES; GitHub; MathSAT; … Main Fields: Mathematical logic and foundations (03-XX); Measure and integration (28-XX); Computer science (68-XX)
SWITCH Software Authors: Shalyto, A.A. Cited in: 10 Publications (1998–2009) Related Software: UniMod Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
AUTOMATA Software Authors: Holt, Derek F.; David Epstein; Sarah Rees Cited in: 9 Publications (1995–2021) Related Software: GAP; kbmag; Magma; kan; automata; GRAPE Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX)
biXid Software Authors: Kawanaka, Shinya; Hosoya, Haruo Cited in: 7 Publications (2006–2018) Related Software: XSugar; XDuce; Rocksalt; BakerSFIeld; GDSL; BAP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Gabow SCC Software Authors: Peter Lammich Cited in: 9 Publications (2014–2021) Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Edmonds-Karp; Coq; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Kleene Algebra Software Authors: Armstrong, A., Struth, G., Weber, T. Cited in: 9 Publications (2015–2022) Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)
MGS Software Authors: Giavitto, J.-L.; Michel, O. Cited in: 9 Publications (2001–2016) Related Software: HOCL; NESL; Maude; HexaChord; PORGY; BioSPI; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
Presburger Automata Software Authors: Berghofer, Stefan; Reiter, Markus Cited in: 9 Publications (2009–2019) Related Software: Archive Formal Proofs; Isabelle/HOL; Myhill-Nerode; Isabelle; HOL; MSO_Regex_Equivalence; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
UPPAAL CORA Software Authors: Behrmann, Gerd; Larsen, Kim Guldstrand Cited in: 8 Publications (2005–2018) Related Software: Uppaal; Kronos; Verics; GEZEL; Rabbit; TAPAAL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
WinALT Software Authors: Piskunov, S.V., Ostapkevich M.B., Beletkov D.T. Cited in: 8 Publications (1997–2014) Related Software: Visual C++ Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
CalCS 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)
HYST Software Authors: Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson Cited in: 7 Publications (2015–2019) Related Software: SpaceEx; CORA; C2e2; PHAVer; HyTech; dReach; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
LIRA Software Authors: Becker, B., Dax, C., Eisinger, J., Klaedtke, F. Cited in: 7 Publications (2008–2021) Related Software: LASH; TaPAS; cvc3; MONA; FAST; GenPSAT; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
PASS Software Authors: Li, G., Ghosh, I. Cited in: 7 Publications (2015–2020) Related Software: S3; Z3-str; HAMPI; Stranger; StrSolve; Gecode; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SPeeDI Software Authors: Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio Cited in: 7 Publications (2002–2017) Related Software: GSPeeDI; HyTech; ParaPlan; dReach; Flow*; KeYmaera; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
Synthia Software Authors: Peter, H.-J., Ehlers, R., Mattmüller, R. Cited in: 7 Publications (2012–2020) Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)
TaPAS Software Authors: Leroux, Jérôme; Point, Gérald Cited in: 7 Publications (2009–2019) Related Software: z3; CVC4; SPIN; LIRA; libVATA; Antichains; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CADbots Software Authors: Fekete, Sándor P.; Gmyr, Robert; Hugo, Sabrina; Keldenich, Phillip; Scheffer, Christian; Schmidt, Arne Cited in: 7 Publications (2020–2023) Related Software: AmoebotSim Main Fields: Combinatorics (05-XX); Computer science (68-XX)
dk.brics.automaton Software Authors: Anders Møller Cited in: 6 Publications (2010–2016) Related Software: Polyglot; AMNESIA; XSugar; Spoofax; OptiML; Blitz++; … Main Fields: Computer science (68-XX)
GOAL Software Authors: Tsay, Y.-K., Chen, Y.-F., Tsai, M.-H., Wu, K.-N., Chan, W.-C. Cited in: 6 Publications (2009–2015) Related Software: SPIN; LTL2BA; Matlab; PROMELA; Simulink; JFLAP Main Fields: Computer science (68-XX)
Jani Software Authors: Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A. Cited in: 7 Publications (2019–2022) Related Software: Storm; PRISM; MoDeST; iscasMc; z3; POMDP; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LARVA Software Authors: Colombo C, Pace GJ, Schneider G Cited in: 6 Publications (2012–2022) Related Software: Scribble; Uppaal; VeriFast; JML; CC-Pi; Timed Conversation; … Main Fields: Computer science (68-XX)
lbtt Software Authors: H. Tauriainen; K. Heljanko Cited in: 5 Publications (2009–2015) Related Software: SPOT; LTL2BA; SPIN; ltlfilt; LBT; autcross; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MSO_Regex_Equivalence Software Authors: Dmitriy Traytel; Tobias Nipkow Cited in: 7 Publications (2013–2018) Related Software: Presburger Automata; Myhill-Nerode; Isabelle; Regex_Equivalence; Finite Automata HF; Hereditarily Finite Sets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RAHFT Software Authors: Kafle, B., Gallagher, J. P., Morales, J. F. Cited in: 7 Publications (2018–2021) Related Software: z3; Ciao; SeaHorn; CiaoPP; Spacer; VeriMAP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Regex_Equivalence Software Authors: Nipkow, T.; Traytel, D. Cited in: 7 Publications (2014–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; MSO_Regex_Equivalence; Myhill-Nerode; Lifting; Transfer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SEPIA Software Authors: Gransden, T., Walkinshaw, N., Raman, R. Cited in: 7 Publications (2015–2021) Related Software: Coq; E Theorem Prover; ML4PG; HOL; FEMaLeCoP; Flyspeck; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VATA Software Authors: Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš Cited in: 7 Publications (2012–2019) Related Software: MTBDD; MONA; Slide; Cyclist; Antichains; HIP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Z3str2 Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Cited in: 6 Publications (2017–2023) Related Software: Z3str3; HAMPI; CVC4; Stranger; z3; Norn; … Main Fields: Computer science (68-XX)
C-SHORe Software Authors: Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier Cited in: 6 Publications (2013–2017) Related Software: AProVE; Timbuk; MoCHi; GTRECS2; HOMER; HECTOR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
COSMOS Software Authors: Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N. Cited in: 6 Publications (2013–2021) Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; StochKit; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
DDLab Software Authors: Wuensche, Andrew Cited in: 5 Publications (2011–2021) Related Software: ConwayLife; Boids Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
Fable Software Authors: Swamy N, Corcoran BJ, Hicks M Cited in: 6 Publications (2011–2017) Related Software: F*; Jif; AURA; Laminar; Merlin; SGX; … Main Fields: Computer science (68-XX)
Finite Automata HF Software Authors: Lawrence C. Paulson Cited in: 6 Publications (2015–2020) Related Software: Hereditarily Finite Sets; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
GEZEL Software Authors: Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid Cited in: 6 Publications (2002–2018) Related Software: Uppaal; Kronos; UPPAAL TIGA; UPPAAL CORA; Verics; Rabbit; … 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)
Golly Software Authors: Trevorrow, A., Rokicki, T., Hutton, T., et al. Cited in: 6 Publications (2011–2022) Related Software: BijectiveRules Main Fields: Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
HASL Software Authors: Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N. Cited in: 6 Publications (1986–2016) Related Software: COSMOS; Uppaal; PRISM; VESTA; SageMath; SGN Sim; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)