Academia example

• Readings
• Resources

Readings

• Class notes on modelling an Academia setting in Alloy
• Old class notes on modelling an Academia setting in Alloy, with more details in the slides.

Resources

• Academy models for the Alloy Analyzer: academia-1.als, academia-2.als, academia-3.als,