swMATH1186MaRDI QIDQ13928FDOQ13928
Author name not available (Why is that?)
Official website: https://www.prismmodelchecker.org
Source code repository: https://github.com/prismmodelchecker/prism
Cited In (only showing first 100 items - show all)
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Galileo
- GAVS
- GreatSPN
- IMITATOR
- MARCA
- SIGREF
- TAPAAL
- Rabbit
- Tiburon
- M-TREE
- SHARPE
- SMART_
- CUDD
- MWB
- Petruchio
- PASS
- CEGAR
- StateFlow
- SLMC
- QSopt
- CADP
- Uppaal
- MCQueue
- DREAM Tool
- BuDDy
- Reo
- COMICS
- SeVe
- APNN-Toolbox
- COWS
- MarCaSPiS
- ProB
- Rodin
- Colt
- Gambit
- LTSmin
- mctau
- iFEST
- Woflan
- TorX
- REACH
- VESTA
- SPOT
- SCOOP
- jSpin
- Cadence SMV
- DSPNexpress
- MACOM
- Augur 2
- BioShape
- SPNP
- MultiVeStA
- Pirlo
- PMaude
- KAT-ML
- HyperStar
- PVeStA
- Jphase
- JAMA
- BioNetGen
- Lilac
- SYMBA
- Cunf
- MCMAS
- MCK
- ULM
- SATMC
- scyther
- DiPro
- BEEM
- gmm++
- PARAM
- BULL
- BIOCHAM
- MFE
- ITP
- Cellerator
- DDebugger
- GIST
- QUASY
- McAiT
- Casaal
- Ymer
- Pinapa
- Henshin
- MoMo
- SCOOT
- InvA
- JITty
- PSMaude
- SMI++
- LinAIG
- NMRDPP
- GroupKit
- Bio-PEPAd
- PEPA
- STOCKS
- Möbius
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
This page was built for software: PRISM
