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.