quick guide

This user guide is divided into the following sections:

1. Running the Alloy Analyzer

2. The Alloy Analyzer GUI

3. Performing Analyses on Alloy Models

• Determining the Module Path
  • Built-in Utility Modules
• Visualizing the Result of the Analysis
  • The Viz View
  • The Tree View
  • The XML View
• Skolemization Relations

4. New Features in Alloy 4

• sequence of atoms
• private namespace
• unsatisfiable core
• meta capability
• macros