Automatic Abstraction Refinement for Hyperproperties Verification.

Malak Marrid, Shachar Itzhaky, Sharon Shoham, Yakir Vizel

Browse the full IJCAR paper archive.