Next: Formal Methods Approach Up: CS206 Lecture 01 Formal Previous: Example Chemical Plant

Traditional Approach

Build and Test!

$\begin{figure}\centerline{\epsfig{figure=pics/formerpractice.eps,width=5.4in}}\end{figure}$

Would you fly on a plane whose Avionics systems are developed this way?

Testing can only reveal bugs some times. Cannot guarantee correctness.

G. Sivakumar 2002-12-31