Quit

1. Running the Alloy Analyzer

2. The Alloy Analyzer GUI

3. Performing Analyses on Alloy Models

3.1 Determining the Module Path

3.1.1 Built-in Utility Modules

3.2 Visualizing the Result

3.2.1 The Viz View

3.2.2 The Tree View

3.2.3 The XML View

3.3 Skolemization Relations

4. New Syntactic Features in Alloy 4

4.1 sequence of atoms

4.2 private namespace