|
[DABB21]
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci and Borzoo Bonakdarpour.
HyperProb: A Model Checker for Probabilistic Hyperproperties.
In Proc. 24th International Symposium on Formal Methods (FM'21).
2021.
[Presents a tool for verifying probabilistic hyperproperties on Markov Decision Processes represented in the PRISM modelling language.]
|
|
Links:
[Google]
[Google Scholar]
|