Now showing items 1-1 of 1

    • A Theorem Proving Based Methodology for Software Verification 

      Aagaard, Mark; Leeser, Miriam (Cornell University, 1993-03)
      We have developed an effective methodology for using a proof development system to prove properties about functional programs. This methodology includes techniques such as hiding implementation details and using higher ...