Hyperproperties: Verification of Proofs
File(s)HyperDefs.thy (3.61 KB) Hyperproofs.pdf (193.46 KB) Hyper.thy (38.17 KB)
Isabelle theory file 2
technical report (PDF)
Isabelle theory file 1
Permanent Link(s)
Author
Bueno, Denis L.
Clarkson, Michael R.
Abstract
This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
Date Issued
2008-07-25T18:30:52Z
Keywords
Type
technical report