PRISM
From MaRDI portal
PRISM Q13928
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)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- COSMOS
- ArgoUML
- LTL2BA
- RoVerGeNe
- CoVer
- APMC
- PrivateLR
- Dbtk
- BioSPI
- ipc
- KEGG2SBML
- Delta Sigma
- BioAmbient Machine
- BlenX
- Tempo
- FDR3
- FuzzyFTA
- LBS
- BlockSim
- DIFtree
- DFTSim
- DFTCalc
- DBNet
- Konclude
- FaultTree+
- ITEM ToolKit
- MetaPrime
- MOCUS
- OpenFTA
- PTC Windchill FTA
- PREP/KITT
- Radyban
- RAM Commander FTA
- Charlie
- MARCIE
- MC2
- MOCHA
- PRALINE
- SABRE
- PRISM-games
- MODIST
- pGCL
- CCMC
- UMLsec
- ExplicitPRISMSymm
- HASL
- verifier
- ZBDD
- Synthia
- UPPAAL TIGA
- PIC2LNT
- BioModels
- Rapture
- linearEqSolver
- Marimba
- UNITY
- StochKit2
- Butools
- Concurrency Workbench
- Hakaru
- ORME
- SchedCAT
- StochDynTools
- NetKAT
- Prophet
- Storm
- CARMA
- PLASMA
- iNA
- CPL6
- STeP
- Houdini
- GPU-PRISM
- GPUexplore
- ERODE
- PESSOA
- OASIS3
- ProbReach
- VS3
- SCOTS
- SHAVE
- AADL
- Breach
- SAFKASI
- PALOMA
- SReach
- ltl2dstar
- TuLiP
- INFAMY
- Rabinizer
- REDLIB
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Verification, Model Checking, and Abstract Interpretation
- PRISM-games: a model checker for stochastic multi-player games
- CCMC: a conditional CSL model checker for continuous-time Markov chains
- Evaluating complex MAC protocols for sensor networks with APMC
- ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM
- Marimba: a tool for verifying properties of hidden Markov models
- Probabilistic black-box reachability checking (extended version)
This page was built for software: PRISM
