Verifying Bounded Subset-Closed Hyperproperties.

Isabella Mastroeni, Michele Pasqua

Browse the full SAS paper archive.