×

Found 62 Software Packages (Results 1–62)

MRMC

Software Authors:   Joost-Pieter Katoen; RWTH Aachen
Referenced in: 66 Publications (2006–2022)
Related Software: PRISM; Ymer; Uppaal; CADP; CEGAR; NuSMV; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DISCOVERER

Software Authors:   Xia B
Referenced in: 56 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
Referenced 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; ..
Referenced 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
Referenced 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.
Referenced 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
Referenced in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; VerICS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

d/dt

Software Authors:   Asarin, Eugene; Dang, Thao; Maler, Oded
Referenced in: 37 Publications (2002–2020)
Related Software: HyTech; PHAVer; RSOLVER; Uppaal; SpaceEx; 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
Referenced 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é
Referenced 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)

Rabbit

Software Authors:   Beyer, Dirk; Lewerentz, Claus; Noack, Andreas
Referenced 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)

FLATA

Software Authors:   Marius Bozga; Radu Iosif; Filip Konecny; Tomas Vojnar
Referenced 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)

dReach

Software Authors:   S. Kong, S. Gao, W. Chen, E. M. Clarke
Referenced in: 21 Publications (2015–2021)
Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; S-TaLiRo; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Maria

Software Authors:   M"akel"a, Marko
Referenced 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
Referenced in: 17 Publications (2011–2021)
Related Software: HAMPI; Z3str3; Norn; z3; S3; PASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CORA

Software Authors:   Matthias Althoff, Niklas Kochdumper
Referenced 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)

RAMAS

Software Authors:   Kloetzer, Marius; Belta, Calin
Referenced 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)

VHPOP

Software Authors:   Younes, H. L. S.; Simmons, R. G.
Referenced 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.
Referenced 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)

MARCIE

Software Authors:   Heiner, Monika; Rohr, Christian; Schwarick, Martin
Referenced 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
Referenced 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)

C-SHORe

Software Authors:   Broadbent, Christopher; Carayol, Arnaud; Hague, Matthew; Serre, Olivier
Referenced 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
Referenced 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)

Verics

Software Authors:   Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej
Referenced 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)

ASASP

Software Authors:   Alberti, Francesco; Armando, Alessandro; Ranise, Silvio
Referenced 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)

MARCO

Software Authors:   Berman, Spring; Halász, Ádám; Kumar, Vijay
Referenced in: 5 Publications (2007–2018)
Related Software: HyTech; PHAVer; Flow*; SpaceEx; RAMAS; nuXmv; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

ROC-HJ

Software Authors:   Bokanowski, O., Desilles, A., Zidani, H.
Referenced in: 5 Publications (2015–2021)
Related Software: ToolboxLS; Bocop; L-BFGS; NUDOCCCS; BNDSCO; OTIS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Tempo

Software Authors:   –
Referenced 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)

XSpeed

Software Authors:   Ray, Rajarshi; Gurung, Amit
Referenced in: 4 Publications (2017–2019)
Related Software: SpaceEx; Flow*; JuliaReach; Julia; Mosek; GLPK; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

BACH

Software Authors:   Bu L, Li Y, Wang L, Li X
Referenced 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
Referenced 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
Referenced 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)

JuliaReach

Software Authors:   Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Referenced in: 3 Publications (2018–2022)
Related Software: Flow*; XSpeed; SpaceEx; Ariadne; Isabelle/HOL; NLTOOLBOX; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

NNV

Software Authors:   Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Referenced in: 3 Publications (2021)
Related Software: Reluplex; VERIFAI; MPT; MNIST; SqueezeDet; Easychair; …
Main Fields: Computer science (68-XX)

REACH

Software Authors:   Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin
Referenced in: 4 Publications (2013–2018)
Related Software: Maple; ISOLATE; QEPCAD; iscasMc; z3; REDLOG; …
Main Fields: Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

ReachNN

Software Authors:   Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
Referenced in: 4 Publications (2021)
Related Software: GitHub; Reluplex; nncontroller; PENBMI; VERIFAI; Marabou; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Sapo

Software Authors:   Dreossi T
Referenced in: 4 Publications (2017–2021)
Related Software: Breach; dReach; Flow*; SpaceEx; HyTech; KeYmaera; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

MLAT

Software Authors:   Sekizawa, Toshifusa; Tanabe, Yoshinori; Yuasa, Yoshifumi; Takahashi, Koichi
Referenced 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
Referenced 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
Referenced in: 3 Publications (2019–2021)
Related Software: PRISM; z3; Qhull; BisimDist; NModel; MQTT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

RBAC-PAT

Software Authors:   Gofman, Mikhail I.; Luo, Ruiqi; Solomon, Ayla C.; Zhang, Yingbin; Yang, Ping; Stoller, Scott D.
Referenced in: 2 Publications (2013–2019)
Related Software: Mcmt; ASASP; TPTP
Main Fields: Computer science (68-XX)

Boom

Software Authors:   Basler, Gerard; Hague, Matthew; Kroening, Daniel; Ong, C.-H.Luke; Wahl, Thomas; Zhao, Haoxian
Referenced in: 0 Publications
Related Software: SatAbs
Main Fields:

eThor

Software Authors:   Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
Referenced 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
Referenced 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)

HyPro

Software Authors:   Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
Referenced 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)

Kuai

Software Authors:   Majumdar, R., Tetali, S.D., Wang, Z.
Referenced 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.
Referenced 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
Referenced in: 2 Publications (2019–2022)
Related Software: Simulink; Isabelle/HOL; nuXmv; KeYmaera X; Rodin; ClawZ; …
Main Fields: Computer science (68-XX)

SyPet

Software Authors:   Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
Referenced 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.
Referenced 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
Referenced in: 0 Publications
Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python
Main Fields:

Eleven82

Software Authors:   Koskinen, Eric; Yang, Junfeng
Referenced in: 1 Publication (2016)
Related Software: EXPLODE; SQCK; PostgreSQL; MathSAT5; CPAchecker; SMTInterpol; …
Main Fields: Computer science (68-XX)

FORTS

Software Authors:   Youcheng Sun; Giuseppe Lipari
Referenced in: 1 Publication (2016)
Related Software: GitHub
Main Fields: Computer science (68-XX)

GARNET

Software Authors:   Williams, L.; Lippmann, R.; Ingols, K.
Referenced in: 0 Publications
Related Software:
Main Fields:

OptimizedDP

Software Authors:   Minh Bui, George Giovanis, Mo Chen, Arrvindh Shriraman
Referenced in: 0 Publications
Related Software: HeteroCL; POMDPs.jl; TVM; Python
Main Fields:

ParaPlan

Software Authors:   Sandler, Andrei; Tveretina, Olga
Referenced 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.
Referenced 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
Referenced in: 0 Publications
Related Software: Adam; XLA; TensorFlow; LLVM; NeuroVectorizer; code2vec
Main Fields:

TIRA

Software Authors:   Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat
Referenced in: 1 Publication (2019)
Related Software: SCOTS; Flow*; PESSOA; SpaceEx; Ellipsoidal Toolbox; Matlab
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

EtherTrust

Software Authors:   Grishchenko, I., Maffei, M., Schneidewind, C.
Referenced in: 0 Publications
Related Software:
Main Fields:

HyStar

Software Authors:   Lin, H.; Antsaklis, P.J.
Referenced in: 0 Publications
Related Software:
Main Fields:

PdTRAV

Software Authors:   G. Cabodi, S. Nocco, S. Quer
Referenced in: 0 Publications
Related Software:
Main Fields: