Lightweight Verification of Hyperproperties.

Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang

Browse the full ATVA paper archive.