Alloy4 TutorialAlloy 4 Tutorial Materials Tutorial Slides: Session 1 - Intro & Logic (ODP) (PDF) Session 2 - Language & Analysis (ODP) (PDF) Session 3 - Static Modeling (ODP) (PDF) Session 4 - Dynamic Modeling (ODP) (PDF) files with the ".odp" extension can be opened with OpenOffice Exercises Properties of Binary Relations (properties.als) Refactoring Navigation Expressions (distribution.als) Modeling the T
