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