research
∙
05/29/2023
Second-Order Hyperproperties
We introduce Hyper^2LTL, a temporal logic for the specification of hyper...
share
research
∙
03/26/2023
Automata-Based Software Model Checking of Hyperproperties
We develop model checking algorithms for Temporal Stream Logic (TSL) and...
research
∙
06/04/2022
Explaining Hyperproperty Violations
Hyperproperties relate multiple computation traces to each other. Model ...
research
∙
11/10/2020
