Alloy Analyzer Tool to analyze Alloy models
Download

Alloy Analyzer Ranking & Summary

Alloy Analyzer Tags

generate analyze execute analyze model generate invariants operation execution

Alloy Analyzer Description

Tool to analyze Alloy models Alloy Analyzer is a free and open source tool developed for analyzing models written in Alloy, a simple structural modeling language based on first-order logic. Alloy Analyzer can generate instances of invariants, simulate the execution of operations (even those defined implicitly), and check user-specified properties of a model.Alloy Analyzer is based on the new SAT-based model finder Kodkod. Kodkod applies new techniques and optimizations to the translation from relational to boolean logic, such as user-provided partial instances and a more general symmetry-breaking technique that works in the presence of arbitrary partial instances. A step-by-step walkthrough and tutorial of Alloy4 is HERE and HERE. Requirements: · Java 1.5 or later What's New in This Release: · Includes a new atom numbering heuristic which should make util/ordering numbering more intuitive; also upgraded to the latest Kodkod, and upgraded to SAT4J 2.0.5. · PDF export uses compression tecniques and results in up to 20x smaller file size.

Alloy Analyzer Related Software