Module four is going to look at informal methods for
secure and robust programming. Now, this will draw
a distinction between formal and informal methods which we'll get to in a moment. We're going to focus on testing and ad hoc methods
and things like that. But the way we do it
is we're going to take ideas from formal methods, and apply them to
these informal ways.