Slide 1 (c) 2007 Mauro Pezzè & Michal Young Ch 8, slide 1 Finite State Verification Slide 2 (c) 2007 Mauro Pezzè & Michal Young Ch 8, slide 2 Learning objectives…
