6.5 Formal Technique Review