Discussion of some practicalities of applying formal methods to software.  Ideally we are seeking techniques that can be applied with increasing effort to yield increasingly strong results.  Also, introduction to functional programming.