Hyperproperties: Verification of Proofs
Cornell University Ithaca United States
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