research
∙
01/30/2022
Deciding Asynchronous Hyperproperties for Recursive Programs
We introduce a novel logic for asynchronous hyperproperties with a new m...
share
research
∙
10/22/2020
Automata and Fixpoints for Asynchronous Hyperproperties
Hyperproperties have received increasing attention in the last decade du...
research
∙
10/25/2019
Temporal Logics with Language Parameters
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely...
research
∙
10/23/2019