Collected Lecture Slides for COMP 202 Formal Methods of Computer Science Neil Leslie and Ray Nickson 11 October, 2005 This document was created by concatenating the lecture…