Specification and Verification Tools Seminar
			      Homework 1
		     $Date: 2008/09/03 21:03:53 $

For September 10, 2008.

Download and install Alloy4 from http://alloy.mit.edu/alloy4/ .

Read the Alloy tutoral from http://alloy.mit.edu/community/tutorials .
While reading, play with Alloy to test out questions you have.

Then, using Alloy (http://alloy.mit.edu/community/) specify how traffic
lights work in Florida.  If you want to start from an existing
specification see http://alloy.mit.edu/alloy4/book/chapter4/lights.als .
The particular properties and design are up to you; there's no right
answer.  We'll discuss your solution in the seminar.