Alloy 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: http://sdg.lcs.mit.edu/alloy/ Source Code Availability:   No Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   ?? Targeted Platforms: Windows, Linux, Solaris Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Tools & Utilities