Quantitative Analysis With the Probabilistic Model Checker PRISM.
Marta Z. KwiatkowskaGethin NormanDavid ParkerPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- quantitative analysis
- model checker
- model checking
- formal verification
- qualitative analysis
- temporal logic
- formal methods
- description language
- qualitative evaluation
- formal specification
- qualitative and quantitative analysis
- symbolic model checking
- bayesian networks
- test suite
- ai planning
- orders of magnitude
- software systems
- software engineering
- knowledge representation
- web services