Full Day Tutorial, Formal Methods 2006 (FM'06)
Tuesday, August 22, 2006

An all day interactive tutorial (6 hours over 4 sessions)
introducing participants to the logic, language, and analysis of Alloy,
as well as demonstrating a number of static and dynamic modeling idioms.

Slides and examples available at http://alloy.mit.edu/fm06/