1 paper
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
Hyperproperties relate multiple executions of a system and are commonly used to specify security and information-flow policies. While many verification approaches for hyperproperti…