help.Nav.html Maven / Gradle / Ivy

Go to download



The Alloy Analyzer






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