Accession Number:

AD1000343

Title:

Hyperproperties: Verification of Proofs

Descriptive Note:

[Technical Report, Final Report]

Corporate Author:

Cornell University

Report Date:

2008-07-25

Pagination or Media Count:

26

Abstract:

This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

[A, Approved For Public Release]