Documents Programmed Strategies for Program Verification Richard B. Kieburtz OHSU/OGI School of Science and...

Slide 1Programmed Strategies for Program Verification Richard B. Kieburtz OHSU/OGI School of Science and Engineering and Portland State University Slide 2 Background The…

Documents Strategies for Verification Dick Kieburtz OGI School of Science & Engineering July 15, 2003.

Strategies for Verification Dick Kieburtz OGI School of Science & Engineering July 15, 2003 An Automatic Verification Server for Programatica Intended for use by the…