66 citations · 67 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Temporal Logic for Asynchronous Hyperproperties
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour +2
Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a tra…
cs.LO2021
Asynchronous Extensions of HyperLTL
Laura Bozzelli, Adriano Peron, Cesar Sanchez
Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties studied in the litera…