Quantitative Analysis With the Probabilistic Model Checker PRISM1
Under a Creative Commons license
open access
Keywords
Automatic verification
temporal logic
Markov models
probabilistic model checking
performability
reliability
dependability
Cited by (0)
- 1
Supported in part by FORWARD and EPSRC projects GR/S11107 and GR/S46727.
Copyright © 2006 Elsevier B.V.