×

Found 23 Software Packages (Results 1–23)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Cited in: 429 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Bio-PEPA; PEPA; Storm; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MRMC

Software Authors:   Joost-Pieter Katoen; RWTH Aachen
Cited 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)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Cited in: 32 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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: HIP; MONA; SPIN; LTL2BA; FAST; Slide; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SMART_

Software Authors:   Ciardo, G.; Jones, R.L.; Miner, A.S.; Siminiceanu, R.
Cited in: 23 Publications (2000–2018)
Related Software: SPIN; PRISM; NuSMV; Möbius; PEPA; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Cited in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VESTA

Software Authors:   Koushik Sen, Mahesh Viswanathan, Gul Agha
Cited in: 22 Publications (2007–2021)
Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Cited in: 22 Publications (2013–2021)
Related Software: PRISM; MCMAS; EAGLE; MCMAS-SLK; GIST; MOCHA; …
Main Fields: General and overarching topics; collections (00-XX); 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; Rabinizer; PARAM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PVeStA

Software Authors:   AlTurki, M., Meseguer, J
Cited in: 13 Publications (2011–2021)
Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ymer

Software Authors:   Younes, Håkan L.S.
Cited in: 16 Publications (2005–2021)
Related Software: PRISM; VESTA; MRMC; COSMOS; Uppaal; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

INFAMY

Software Authors:   Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Cited in: 4 Publications (2009–2015)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MarCaSPiS

Software Authors:   Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Cited in: 5 Publications (2009–2015)
Related Software: COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

DiPro

Software Authors:   Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
Cited in: 2 Publications (2014)
Related Software: COMICS; PRISM; z3; CEGAR; MRMC; SCIP; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Cited in: 4 Publications (2016–2017)
Related Software: Isabelle/HOL; pGCL; MRMC; HOL; CAVA LTL Modelchecker; Density Compiler; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

GPU-PRISM

Software Authors:   Bošnački D, Edelkamp S, Sulewski D, Wijs A
Cited in: 3 Publications (2016–2021)
Related Software: CUDA; PRISM; GitHub; Storm; APMC; CUSPARSE; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

prob-black-reach

Software Authors:   Aichernig, Bernhard K.; Tappler, Martin
Cited 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)

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)

PSMaude

Software Authors:   Bentea, Lucian; Ölveczky, Peter Csaba
Cited in: 2 Publications (2013–2019)
Related Software: PMaude; PVeStA; RuleBender; MOSBIE; visone; Tom; …
Main Fields: Computer science (68-XX)

ExplicitPRISMSymm

Software Authors:   Patel, Reema; Patel, Kevin; Patel, Dhiren
Cited in: 2 Publications (2015)
Related Software: PRISM
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ProbDiVinE

Software Authors:   Barnat, J.; Brim, L.; Cerna, I.; Ceska, M.; Tumova, J.
Cited in: 2 Publications (2014–2018)
Related Software: PRISM; Rabinizer; Rapture; PARAM; PASS; LiQuor; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

conPAS

Software Authors:   Aydin Gol, Ebru; Belta, Calin
Cited in: 1 Publication (2013)
Related Software: Matlab
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ProMoca

Software Authors:   G"unay, Ak{i}n; Liu, Yang; Zhang, Jie
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Computer science (68-XX)