Now showing items 1-1 of 1

  • Hyperproperties: Verification of Proofs 

    Bueno, Denis L.; Clarkson, Michael R. (2008-07-25)
    This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.