Skip to main content


eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: Hyperproperties: Verification of Proofs
Authors: Bueno, Denis L.
Clarkson, Michael R.
Keywords: Hyperproperties
Issue Date: 25-Jul-2008
Abstract: This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
HyperDefs.thyIsabelle theory file 23.61 kBIsabelle ThyView/Open
Hyper.thyIsabelle theory file 138.17 kBIsabelle ThyView/Open
Hyperproofs.pdftechnical report (PDF)193.46 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us