1 1 Formal Verification by Model Checking Guest Lectures at the Analysis of Software Artifacts Class, Spring 2005 Natasha Sharygina Carnegie Mellon University 2 Outline Lecture…
