|
[LL20]
Yang Liu and Rui Li.
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning.
International Journal of Networked and Distributed Computing, 8(2), pages 94-107.
2020.
[Proposes compositional methods for probabilistic model checking, implemented as an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|