SAL Home PROGRAM Tools & Utilities


Alloy is an object modelling notation that is compatible with development approaches such as UML, Catalysis, Fusion, OMT and Syntropy. It has a simple ASCII textual notation of which a subset can be expressed graphically. The Alloy Constraint Analyzer is a tool for analyzing Alloy models. It offers fully automatic animation: it can generate states that satisfy invariants, executions of operations, and counterexamples to claimed properties of a model.

Current Version:   ??

License Type:   ??

Home Site:

Source Code Availability:   No

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   ??

Targeted Platforms:

Windows, Linux, Solaris

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Tools & Utilities

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.