BLAST Software Authors: Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire Cited 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)
Graphs Software Authors: Sommer, Christian Cited in: 110 Publications (2013–2022) Related Software: Algorithm 97; GraphChi; Pregel; OpenStreetMap; Volume; plfit; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-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 Cited in: 78 Publications (2011–2022) Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; Ellipsoidal Toolbox; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
MRMC 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)
DISCOVERER Software Authors: Xia B Cited 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)
DiVinE Software Authors: J. Barnat; L. Brim; P. Rockai Cited 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)
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; IMITATOR; Kronos; … 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)
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 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)
PAT Software Authors: Jun Sun, Yang Liu , Jin Song Dong , Jun Pang Cited in: 33 Publications (2011–2022) Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
d/dt Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Cited 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)
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)
Breach Software Authors: Alexandre Donzé Cited 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)
LoLA Software Authors: Schmidt, Karsten; Wolf, K. Cited in: 25 Publications (2000–2021) Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-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)
Mcmt 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)
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)
dReach Software Authors: S. Kong, S. Gao, W. Chen, E. M. Clarke Cited in: 22 Publications (2015–2021) Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-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)
LTSmin Software Authors: Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom Cited in: 19 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)
SCOTS Software Authors: Rungger, Matthias; Zamani, Majid Cited in: 19 Publications (2016–2022) Related Software: PESSOA; CoSyma; TuLiP; ROCS; Matlab; Sostools; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Cubicle Software Authors: Conchon, S., Goel, A., Krstić, S., Mebsout, A., Zaïdi, F. Cited in: 18 Publications (2013–2021) Related Software: Mcmt; z3; VERIFAS; SAFARI; Ivy; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Maria Software Authors: M"akel"a, Marko Cited in: 19 Publications (2000–2021) Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)
Stranger Software Authors: Fang Yu, Muath Alkhalaf, Tevfik Bultan Cited in: 17 Publications (2011–2021) Related Software: HAMPI; Z3str3; Norn; z3; S3; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CORA Software Authors: Matthias Althoff, Niklas Kochdumper Cited in: 15 Publications (2016–2022) Related Software: SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
PROPhESY Software Authors: Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., Ábrahám, E. Cited in: 14 Publications (2015–2022) Related Software: PRISM; Storm; PARAM; MRMC; Sylvan; GitHub; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
CoSyma Software Authors: Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor Cited in: 12 Publications (2015–2022) Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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)
CAESAR Software Authors: Hubert Garavel; Wendelin Serwe; INRIA Rhone-Alpes Cited in: 10 Publications (2004–2021) Related Software: CADP; caesar.bdd; NUPN_INFO; Exp.Open; SPIN; M-TREE; … Main Fields: Computer science (68-XX)
VHPOP Software Authors: Younes, H. L. S.; Simmons, R. G. Cited in: 10 Publications (2003–2021) Related Software: Graphplan; PDDL; UCPOP; LPG; Walksat; SAPA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FORCE Software Authors: Aloul, F. A.; Markov, I. L.; Sakallah, K. A. Cited in: 9 Publications (2005–2016) Related Software: SBSAT; Chaff; MiniSat; sharpSAT; BerkMin; CUDD; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
GAVS Software Authors: Cheng, Chih-Hong; Buckl, Christian; Luttenberger, Michael; Knoll, Alois Cited in: 7 Publications (2005–2022) Related Software: PRISM-games; GIST; PRISM; MCMAS; EAGLE; PRALINE; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-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)
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)
MARCIE Software Authors: Heiner, Monika; Rohr, Christian; Schwarick, Martin Cited in: 5 Publications (2013–2017) Related Software: PRISM; SABRE; CADP; SPIN; MRMC; Bio-PEPA; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-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)
CLPS-B Software Authors: Bouquet, Fabrice; Legeard, Bruno; Peureux, Fabien Cited in: 2 Publications (2002–2009) Related Software: ProB; jbtools; Rodin; XSB; FDR2; Oz; … Main Fields: Computer science (68-XX)
Rapture Software Authors: Jeannet B, dArgenio P, Larsen K Cited in: 7 Publications (2005–2020) Related Software: PRISM; PARAM; PROPhESY; MRMC; PASS; LiQuor; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); 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)
DSSZ-MC 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)
NaTT Software Authors: Yamada, Akihisa Cited in: 6 Publications (2014–2022) Related Software: Nagoya Termination Tool; Tyrolean; MU-TERM; z3; CoLoR; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ReachNN Software Authors: Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu Cited in: 6 Publications (2021–2022) Related Software: Sherlock; GitHub; Reluplex; Wasserstein GAN; dReal; nncontroller; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
SReachTools Software Authors: Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. Cited in: 6 Publications (2019–2022) Related Software: FAUST2; MPT; StocHy; ProbReach; PRISM; GitHub; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Verics Software Authors: Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej Cited in: 6 Publications (2003–2018) Related Software: MCMAS; MCK; NuSMV; SPIN; UPPAAL CORA; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
XSpeed Software Authors: Ray, Rajarshi; Gurung, Amit Cited in: 5 Publications (2017–2022) Related Software: SpaceEx; JuliaReach; LAPACK; Ellipsoidal Toolbox; SLICOT; Flow*; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ASASP Software Authors: Alberti, Francesco; Armando, Alessandro; Ranise, Silvio Cited in: 4 Publications (2012–2020) Related Software: Mcmt; VERIFAS; Booster; SAFARI; Cubicle; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ITS-Tools Software Authors: Yann Thierry-Mieg Cited in: 5 Publications (2019–2022) Related Software: TINA; LTSmin; LoLA; SNAKES; SPIN; TAPAAL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
JuliaReach Software Authors: Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling Cited in: 4 Publications (2018–2022) Related Software: XSpeed; SpaceEx; LAPACK; Ellipsoidal Toolbox; SLICOT; Flow*; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
MARCO Software Authors: Berman, Spring; Halász, Ádám; Kumar, Vijay Cited in: 5 Publications (2007–2018) Related Software: HyTech; PHAVer; Flow*; SpaceEx; FME; BlenX; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 4 Publications (2021) Related Software: Reluplex; VERIFAI; MPT; MNIST; torchdiffeq; SqueezeDet; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
ROC-HJ Software Authors: Bokanowski, O., Desilles, A., Zidani, H. Cited in: 5 Publications (2015–2021) Related Software: ToolboxLS; Bocop; SOCS; L-BFGS; NUDOCCCS; BNDSCO; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
SReach Software Authors: Q. Wang, P. Zuliani, S. Kong, S. Gao, E. M. Clarke Cited in: 4 Publications (2015–2020) Related Software: ProbReach; dReal; AMYTISS; StocHy; pFaces; SReachTools; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Tempo 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)
BACH Software Authors: Bu L, Li Y, Wang L, Li X Cited in: 4 Publications (2010–2018) Related Software: PHAVer; SpaceEx; HyTech; HySAT; KeYmaera X; Ellipsoidal Toolbox; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
helperOC Software Authors: Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin Cited in: 3 Publications (2020–2022) Related Software: ToolboxLS; PILCO; Python; BaRC Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HyLAA Software Authors: Bak, Stanley; Duggirala, Parasara Sridhar Cited in: 4 Publications (2017–2021) Related Software: SpaceEx; CORA; Flow*; HyTech; PHAVer; HySAT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Memorax Software Authors: Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed Cited in: 3 Publications (2014–2020) Related Software: Cubicle; Mcmt; Checkfence; MathSAT Main Fields: Computer science (68-XX)
ProbNetKAT Software Authors: Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra Cited in: 4 Publications (2017–2019) Related Software: Church; NetKAT; QPL Main Fields: Computer science (68-XX)
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: iscasMc; z3; REDLOG; MRMC; PRISM; TERMINATOR; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX)
Sapo Software Authors: Dreossi T Cited in: 4 Publications (2017–2021) Related Software: Breach; SpaceEx; dReach; Flow*; HyTech; KeYmaera; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
AMYTISS Software Authors: Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid Cited in: 3 Publications (2020–2021) Related Software: StocHy; FAUST2; PRISM; pFaces; SReachTools; GitHub; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
AntBot Software Authors: G. Yan, D. T. Ha, S. Eidenbenz Cited in: 2 Publications (2012–2014) Related Software: – Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
BaRC Software Authors: Boris Ivanovic, James Harrison, Apoorva Sharma, Mo Chen, Marco Pavone Cited in: 2 Publications (2020–2021) Related Software: ToolboxLS; helperOC; PILCO; Python; PythonRobotics; OpenAI Gym; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ILLTP Software Authors: Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle Cited in: 3 Publications (2019–2021) Related Software: Lolli; z3; DeepProbLog; OEIS; Haskell; Sympli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MLAT Software Authors: Sekizawa, Toshifusa; Tanabe, Yoshinori; Yuasa, Yoshifumi; Takahashi, Koichi Cited in: 3 Publications (1993–2008) Related Software: BLAST; Kaskade7; PLTMG Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
NLTOOLBOX Software Authors: Testylier, Romain; Dang, Thao Cited in: 2 Publications (2013–2017) Related Software: SpaceEx; Ariadne; Isabelle/HOL; JuliaReach; Python; DaDRA; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
prob-black-reach 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)
ProbReach Software Authors: Shmarov, Fedor; Zuliani, Paolo Cited in: 3 Publications (2015–2022) Related Software: StocHy; SReachTools; SReach; AMYTISS; pFaces; FAUST2; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Pyhybridanalysis Software Authors: Casagrande, A.; Dreossi, T. Cited in: 3 Publications (2009–2014) Related Software: pyHybrid Analysis; SpaceEx; REDLOG; d/dt; MATISSE Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
RBAC-PAT Software Authors: Gofman, Mikhail I.; Luo, Ruiqi; Solomon, Ayla C.; Zhang, Yingbin; Yang, Ping; Stoller, Scott D. Cited in: 2 Publications (2013–2019) Related Software: Mcmt; ASASP; TPTP Main Fields: Computer science (68-XX)
STRONG Software Authors: Yi Deng; Akshay Rajhans; A. Agung Julius Cited in: 2 Publications (2015–2021) Related Software: HyTech; PHAVer; CORA; HyLAA; Flow*; HySon; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
VerX Software Authors: Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M. Cited in: 3 Publications (2021–2022) Related Software: solc-verify; Manticore; SeaHorn; DeepSEA; ABCL; ABS; … 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)
WPDS++ 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)
Boom Software Authors: Basler, Gerard; Hague, Matthew; Kroening, Daniel; Ong, C.-H.Luke; Wahl, Thomas; Zhao, Haoxian Cited in: 0 Publications Related Software: SatAbs Main Fields: –
eThor Software Authors: Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei Cited in: 2 Publications (2021) Related Software: SmartCheck; Vandal; GitHub; Imandra; Easychair; CBMC; … 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)
GSPeeDI Software Authors: Hansen, Hallstein Asheim; Schneider, Gerardo Cited in: 1 Publication (2017) Related Software: SPeeDI; ParaPlan; dReach; Flow*; KeYmaera Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
HyCreate Software Authors: S. Bak Cited in: 2 Publications (2015–2017) Related Software: GTEngine; HYST; Charon; HyDI; SpaceEx; PHAVer; … Main Fields: Computer science (68-XX)
HyPro Software Authors: Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski Cited in: 2 Publications (2019–2021) Related Software: GSL; HyTech; PHAVer; MoDeST; Polyhedra.jl; JuliaReach; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
JKind Software Authors: Andrew Gacek Cited in: 2 Publications (2016–2021) Related Software: Kind 2; Paracooba; Kissat; CaDiCaL; AIGER; ABC; … Main Fields: Computer science (68-XX)
Kuai Software Authors: Majumdar, R., Tetali, S.D., Wang, Z. Cited in: 2 Publications (2019–2021) Related Software: Anteater; VeriCon; VeriFlow; ABS; Syco; NetKAT; … Main Fields: Computer science (68-XX)
PARTS Software Authors: Buy, U.; Sloan, R.H. Cited in: 2 Publications (2001–2006) Related Software: Matlab; HyTech; Ada95 Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
SL2SX Software Authors: Minopoli, Stefano; Frehse, Goran Cited in: 2 Publications (2019–2022) Related Software: Simulink; Isabelle/HOL; KeYmaera; nuXmv; KeYmaera X; Rodin; … Main Fields: Computer science (68-XX)
SyPet Software Authors: Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W. Cited in: 2 Publications (2017–2020) Related Software: CodeHint; BlinkFill; FlashMeta; TRANSIT; FlashExtract; Houdini; … Main Fields: Computer science (68-XX)
ConfigChecker Software Authors: Al-Shaer, E., Alsaleh, M. Cited in: 1 Publication (2018) Related Software: nftables; iptables; pgf; Routing; LOFT; margrave; … Main Fields: Computer science (68-XX)
DaDRA Software Authors: Jared Mejia, Alex Devonport, Murat Arcak Cited in: 0 Publications Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python Main Fields: –
dbminer Software Authors: Marc Solé, Josep Carmona Cited in: 1 Publication (2012) Related Software: Synet; ProM Main Fields: Computer science (68-XX)
Eleven82 Software Authors: Koskinen, Eric; Yang, Junfeng Cited in: 1 Publication (2016) Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; … Main Fields: Computer science (68-XX)
Estaciones Software Authors: Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel Cited in: 1 Publication (2021) Related Software: GraphTheory; Maple Main Fields: Real functions (26-XX); Computer science (68-XX)
FORTS Software Authors: Youcheng Sun; Giuseppe Lipari Cited in: 1 Publication (2016) Related Software: GitHub Main Fields: Computer science (68-XX)
GARNET Software Authors: Williams, L.; Lippmann, R.; Ingols, K. Cited in: 0 Publications Related Software: – Main Fields: –
HAGAR Software Authors: Oskar Mencer, Zhining Huang und Lorenz Huelsbergen Cited in: 1 Publication (2002) Related Software: – Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Lazysets.jl Software Authors: Forets, M.; Schilling, C Cited in: 1 Publication (2022) Related Software: XSpeed; JuliaReach; Arb; Algorithm 919; LAPACK; DifferentialEquations.jl; … Main Fields: Computer science (68-XX)
MaRDiGraS Software Authors: Bellettini, Carlo; Camilli, Matteo; Capra, Lorenzo; Monga, Mattia Cited in: 1 Publication (2013) Related Software: Twister; PIPE2; Hadoop; GreatSPN Main Fields: Computer science (68-XX)
OptimizedDP Software Authors: Minh Bui, George Giovanis, Mo Chen, Arrvindh Shriraman Cited in: 0 Publications Related Software: HeteroCL; POMDPs.jl; TVM; Python Main Fields: –
ParaPlan Software Authors: Sandler, Andrei; Tveretina, Olga Cited in: 1 Publication (2017) Related Software: dReach; Flow*; KeYmaera; SPeeDI; GSPeeDI Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
Pint Software Authors: Paulevé, L. Cited in: 0 Publications Related Software: BioLQM; PyBoolNet; usefun; MaBoSS; Cellnoptr; BoolNet; … Main Fields: –
ProGraML Software Authors: Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Hugh Leather Cited in: 0 Publications Related Software: Adam; XLA; TensorFlow; LLVM; NeuroVectorizer; code2vec Main Fields: –
RDPS Software Authors: Florin, G., Natkin Cited in: 1 Publication (1993) Related Software: – Main Fields: Systems theory; control (93-XX)
SAHA-Tool Software Authors: Campagna, Dario; Piazza, Carla Cited in: 1 Publication (2010) Related Software: d/dt; HSolver; OCaml; Uppaal; RSOLVER; HyTech; … Main Fields: Computer science (68-XX)