FAQFrequently asked questions about Alloy
ReferenceDownload language reference for Alloy 4 (PDF)
ComparisonsComparisons to Z, B, VDM and OCL (PDF)
GrammarA grammar for Alloy 4 in plain text (TXT), also see the cup file
Quick GuideOverview of new features in Alloy 4
Alloy APIDocumentation for Alloy API
Alloy API Examplesexamples of using the compilerthe astthe evaluator
Online TutorialA step-by-step walkthrough and tutorial for Alloy 4
Tutorial SlidesSlides for day-long tutorial by Rob Seater and Greg Dennis
Digital Humanities TutorialA tutorial introducing Alloy for digital humanities work, by C. M. Sperberg-McQueen