Academia example

• Readings
• Resources

Readings

• Class notes on modelling an Academia setting in Alloy

Resources

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