Hyperproperties: Verification of Proofs
[Technical Report, Final Report]
Pagination or Media Count:
This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
- Computer Programming and Software