Accession Number:

AD1000343

Title:

Hyperproperties: Verification of Proofs

Descriptive Note:

Technical Report

Corporate Author:

Cornell University Ithaca United States

Personal Author(s):

Report Date:

2008-07-25

Pagination or Media Count:

26.0

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:

APPROVED FOR PUBLIC RELEASE