Skip to main content


eCommons@Cornell

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: http://hdl.handle.net/1813/11153
Title: Hyperproperties: Verification of Proofs
Authors: Bueno, Denis L.
Clarkson, Michael R.
Keywords: Hyperproperties
Proofs
Isabelle
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.
URI: http://hdl.handle.net/1813/11153
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