Formal Methods: State of the Art and Future Directions

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Formal Methods: State of the Art and Future Directions</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="13"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <B>Edmund M. Clarke & Jeanette M. Wing</B></div> <div> <B>ACM Computing Surveys, Vol. 28, No. 4, December 1996</B></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> <A HREF="Referencer\Formal_Methods_-_State_of_the_Art_and_Future_Directions.pdf" TARGET="_top" TITLE="Referencer\Formal_Methods_-_State_of_the"><U>Formal Methods - State of the Art and Future Directions</U></A></div> <bR> </td> </tr></table></body>