Exercises for labs week 7 -- 11 Oct

5 outubro 2019, 00:08 • Jan Gunnar Cederquist

Solve the following exercises proposed in http://alloytools.org/tutorials/day-course/

• Modeling the Tube
• Barber Paradox
• Refactoring Navigation Expressions
• Properties of Binary Relations

Also, use Alloy to solve the exercises of Section 2 (Specification of Properties) from Exercise sheet W1-FOL available in "Lab exercises".