2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Gaëtan Regaud, Martin Zimmermann
Hyperproperties express, e.g., information-flow properties of systems, which involves the simultaneous reasoning about multiple execution traces of a system. Consequently, HyperLTL…