Problem Set 1: Alloy Models (due Tues Feb 22)
Read more of Professor Jackson's book, Software Abstractions. The private website has the most recent version of the book, which been updated to include both the old reading and the new material.
Complete the exercises that go with that material. If a question requires you to give solutions or counterexamples Alloy finds, you can either give us a screenshot of the graph or just the textual solution (which can be viewed by selecting the proper option from the top icon bar). Please also describe the solution in words to help me interpret it.
You can download the latest Alloy 3.0 release candidate. You may wish to update your old copy, to avoid recently eliminated bugs and memory leaks.
Please recall the somewhat elaborate submission instructions.