Hyperproperties: Verification of Proofs

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 25, 2008
Accession Number
AD1000343

Entities

People

  • Denis L. Bueno
  • Michael R. Clarkson

Organizations

  • Cornell University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Aerodynamic Characteristics
  • Aerodynamic Forces
  • Alphabets
  • Buildings And Structures
  • Cognition
  • Computer Science
  • Computers
  • Corporations
  • Cybersecurity
  • Data Acquisition
  • Geometry
  • Information Science
  • Interdisciplinary Science
  • Lift
  • Mathematics
  • Mental Processes
  • Notation
  • Observation
  • Reasoning
  • Topology
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Mathematics