PRISM 4.0: Verification of Probabilistic Real-Time Systems.
Marta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: CAV (2011)
Keyphrases
- real time systems
- real time
- distributed systems
- timing constraints
- embedded systems
- real time database systems
- probabilistic model
- architectural model
- model checking
- response time
- mission critical
- embedded real time systems
- object oriented programming language
- anytime algorithms
- source code
- cooperative
- bayesian networks