Alloy AnalyzerTool to analyze Alloy models | |
Download |
Alloy Analyzer Ranking & Summary
Advertisement
- License:
- MIT License
- Price:
- FREE
- Publisher Name:
- Alloy Analyzer Team
- Publisher web site:
- http://alloy.mit.edu
- Operating Systems:
- Mac OS X
- File Size:
- 4 MB
Alloy Analyzer Tags
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