HyperProb : A Model Checker for Probabilistic Hyperproperties

Dobe, Oyendrila; Ábrahám, Erika; Bartocci, Ezio; Bonakdarpour, Borzoo (Corresponding author)

Cham : Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)
Page(s)/Article-Nr.: 657-666


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]