×

Found 108 Software Packages (Results 1–100)

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)