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.