The Alloy Analyzer 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

4. New Syntactic Features in Alloy 4