Hyperproperties: Verification of Proofs
Bueno, Denis L.; Clarkson, Michael R.
This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
Hyperproperties; Proofs; Isabelle