Hyperproperty Verification as CHC Satisfiability.

Shachar Itzhaky, Sharon Shoham, Yakir Vizel

Browse the full ESOP paper archive.