help.index.html Maven / Gradle / Ivy

Go to download


The Alloy Analyzer






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

  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 Syntactic Features in Alloy 4

sequence of atoms
private namespace