Install Alloy

Alloy 4 is a self-contained executable, which includes the Kodkod model finder and a variety of SAT solvers, as well as the standard Alloy library and a collection of tutorial examples. The same jar file can be incorporated into other applications to use Alloy as an API, and includes the source code.

To execute, simply double-click on the jar file, or type java -jar org.alloytools.alloy.dist.jar in a console.

  

Latest Release

Kind

Installer

Archive

Source

Source

OS

MacOS

Platform Independent

Platform Independent

Platform Independent

Size

48.3 MB

10.2 MB

Kind

Archive

Installer

Source

Source

OS

Platform Independent

Platform Independent

Platform Independent

Platform Independent

Size

9.89 MB

78.8 MB

Alloy Extensions

  • Public web page: http://haslab.github.io/Electrum
  • Authors: Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
  • Synopsis: Electrum extends Alloy with mutable signatures and fields as well as connectives from Linear Temporal Logic (with Past), it is well suited to model systems featuring both structural and behavioral aspects. Verification relies on bounded and unbounded model-checking; and the Visualizer is extended to allow interactive exploration of traces.

  • Public web page: https://sterling-js.github.io/
  • Authors: Tristan Dyer, John Baugh
  • Synopsis: Sterling is a web-based visualizer for Alloy that can be customized and extended using JavaScript. It also includes enhanced views that make complex state easier to understand. The Graph View provides multiple layout options, does not restrict the movement of atoms to rows, and maintains the position of common elements when stepping through traces. The Table View provides sorting and filtering options, and skolemized variables can be displayed as highlighted rows. Using the Script View, included in the upcoming release, users can generate domain specific visualizations and extend the Sterling interface with user-defined scripts.

Old Releases

Kind

Archive

Source

Source

OS

Platform Independent

Platform Independent

Platform Independent

Size

9.87 MB

Kind

Installer

Source

Source

OS

Platform Independent

Platform Independent

Platform Independent

Size

68.1 MB

Kind

Installer

Source

Source

OS

MacOS

Platform Independent

Platform Independent

Size

74.2 MB

Kind

Archive

Installer

OS

Platform Independent

MacOS

Size

12.7 MB

12.5

Kind

Archive

Installer

OS

Platform Independent

MacOS

Size

4.0 MB