15-398 Bug Catching: Automated Program Verification and Testing

<body bgcolor="#6699cc"> <font face="arial,geneva" > <table width="100%" border="0" cellpadding="0" cellspacing="0"> <tr>  <td>      </td>  <td> <font face="arial,geneva" > <font size="+1"><b>15-451 Algorithms</b></font> <hr noshade> <p>Welcome to 15-398 Bug Catching: Automated Program Verification and Testing. </p> <p>The 15-398 Course Web Page is best navigated by a frames capable browser. You have entered this site through a browser that does not support frames, nonetheless you can navigate the course web page through the following index page: <a href="docs/course_index.html">Course Index</a>. </p> </font> <br clear="all"> <hr noshade> </td> </tr> </table> </font> </body>