Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.

Borzoo Bonakdarpour, Csar Snchez, Gerardo Schneider

Browse the full ISoLA paper archive.