How can I find out more about Alloy?

On the Alloy website, you’ll find a tutorial, reference manual, papers, and case studies. The discussion forum is a good place to ask basic and advanced questions of other users. Bug reports and suggestions to the MIT Alloy group can be directed to alloy@mit.edu