Tutorial Slides

• Session 1 - Intro & Logic (PDF)
• Session 2 - Language & Analysis (PDF )
• Session 3 - Static Modeling (PDF)
• Session 4 - Dynamic Modeling (PDF)

Exercises

• Properties of Binary Relations (properties.als)
• Refactoring Navigation Expressions (distribution.als)
• Modeling the Tube (tube.als)
• I’m My Own Grandpa (grandpa.als)
• Barber Paradox (barber.als)
• Address Book (addressBook.als)
• Leader Election in a Ring (ringElection.als)

Solutions

• Solutions to Logic Exercises (logic_solutions.txt)
• Solutions to Barber Exercise (barber_solution.als)
• A Complete Course Requirements Model (courses_solutions.als)
• A Complete Leader Election Model (ringElection_solution.als)