Monitoring Hyperproperties over Observed and Constructed Traces

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

We study the problem of monitoring at runtime whether a system fulfills a specification defined by a hyperproperty, such as linearizability or variants of non-interference. For thi…