Deciding Hyperproperties Combined with Functional Specifications.

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch

Browse the full LICS paper archive.