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