1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Borzoo Bonakdarpour, Sarai Sheinvald
Hyperproperties lift conventional trace properties from a set of execution traces to a set of sets of execution traces. Hyperproperties have been shown to be a powerful formalism f…