PRISM
From MaRDI portal
PRISM Q13928
Cited in
(only showing first 100 items - show all)- Probabilistic mobile ambients
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Performance analysis and functional verification of the stop-and-wait protocol in HOL
- A note on the attractor-property of infinite-state Markov chains
- Alpaga
- Galileo
- GAVS
- GreatSPN
- IMITATOR
- MARCA
- MCGP
- PAYNT
- Seminator 2
- SimSG
- PGM_PyLib
- DeepSynth
- Safety Gym
- solgraph
- EthVer
- SBML Test Suite
- Sylvan
- SeQUeNCe
- NetSquid
- QuNetSim
- Romeo
- SIGREF
- TAPAAL
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Model-checking large structured Markov chains.
- Kronos
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- Tiburon
- Rabbit
- Bio-PEPA
- TREX
- JTorX
- mCRL2
- MoDeST
- GreatSPN 1.7
- Uppaal2k
- PhFit
- Design/CPN
- TinyOS
- RESTART
- BISIMULATOR
- M-TREE
- YAPA
- ECDAR
- CASPA
- LOTOS
- HOL/SPIN
- MOTOR
- E-LOTOS
- SHARPE
- PEPS
- POMDP
- SCCP
- SPIN
- Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14--17, 2002. Proceedings
- Models of transcription factor binding: sensitivity of activation functions to model assumptions
- SMART_
- Möbius
- HyTech
- MRMC
- DiVinE
- NuSMV
- ProbDiVinE
- LiQuor
- GEZEL
- Imperfect information in reactive modules games
- Performance limits and trade-offs in entropy-driven biochemical computers
- Daikon
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- StateFlow
- Petruchio
- MWB
- PASS
- CUDD
- Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment
- Reformulation of the linear program for completely ergodic MDPs with average cost criteria
- SLMC
- CEGAR
- Uppaal
- Learning deterministic probabilistic automata from a model checking perspective
- Uniform sampling for timed automata with application to language inclusion measurement
- QSopt
- Verification and control of partially observable probabilistic systems
- Markov chains and Markov decision processes in Isabelle/HOL
- Abstract model repair for probabilistic systems
- Formal verification and quantitative metrics of MPSoC data dynamics
- CADP
- Modeling fimbriae mediated parasite-host interactions
- MCQueue
- Verification and control for probabilistic hybrid automata with finite bisimulations
- A state-based model of sensor protocols
- DREAM Tool
- The quest for minimal quotients for probabilistic and Markov automata
- Model checking Markov population models by stochastic approximations
- Data-driven modelling and probabilistic analysis of interactive software usage
This page was built for software: PRISM
