Syllabus     Class Notes
	Home Work Assignments Assignment 1          Due Thursday, Oct. 5 Assignment 2          Due Thursday, Oct. 19 Assignment 3          Due Thursday, Nov. 9    Assignment 4          Due Thursday, Nov. 30 Assignment 5          Due Thursday, Dec. 7
	NuSMV Examples counter    ring    ferryman    mutex
	Cruise Control System Model Checking
	Useful Links The Textbook Page NuSMV: The Latest Symbolic Model Checker Formal Methods Archive Page Annual IEEE Symposium on Logic in Computer Science Some Fun Paradoxes Introduction to Petri Nets Petri Net Token Game Petri Nets World
	Some Well-Known Articles J.M. Wing, A Specifier's Introduction to Formal Methods. J.A. Hall, Seven Myths of Formal Methods J.P. Bowen and M.G. Hinchey, Seven More Myths of Formal Methods J.P. Bowen and M.G. Hinchey, Ten Commandments of Formal Methods. E. Clarke and J. Wing, Formal Methods: State of the Art and Future Directions.