FormalMethods06: Spin Example

	Spin Example by Wolfgang Schreiner - Wednesday, 28 June 2006, 11:47 PM
	I have added a "Spin Example" (file "roads.tgz") to the Section on "Verifying Concurrent Systems"; this example is going to be presented in the last class. Regards, WS Reply