HyperProb : A Model Checker for Probabilistic Hyperproperties

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

Cham : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

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