no code implementations • 18 Jan 2021 • Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
We furthermore studied the realizability problem of HyperQPTL.
Logic in Computer Science
no code implementations • 18 Jan 2021 • Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider computations in isolation.
Logic in Computer Science
4 code implementations • 31 May 2019 • Christopher Hahn, Marvin Stenger, Leander Tentrup
Verifying hyperproperties at runtime is a challenging problem as hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other.
Logic in Computer Science