Now showing items 1-1 of 1

  • Proof Planning for Automating Hardware Verification 

    Cantu-Ortiz, Francisco Javier (The University of Edinburgh: College of Science and Engineering: The School of Informatics, 1997-07)
    In this thesis we investigate the applicability of proof planning to automate the verification of hardware systems. Proof planning is a meta-level reasoning technique which captures patterns of proof common to a family of ...