Documents Formal Verification: An Overview Erik Seligman CS 510, Lecture 1, January 2009.

Slide 1Formal Verification: An Overview Erik Seligman CS 510, Lecture 1, January 2009 Slide 2 Introductions (people)  Stand up & introduce yourself! Slide 3 Who Am…