 Some very good arguments for using formal methods can be made after reading the <a href="http://www.cs.utexas.edu/users/kornerup/ariane5rep.html">ARIANE 5 Flight 501 Failure Report</a> or looking at <a href="http://www.cs.utexas.edu/users/kornerup/quotes.html">my page of quotes that support the use of formal methods.</a> <p>
