Alloy language
From Free net encyclopedia
The Alloy specification language is a simple structural modelling tool based on first-order logic. Alloy is targeted at the creation of micro-models of software systems that can then be automatically checked for correctness.
Alloy specifications can be checked using the Alloy Analyzer. The Alloy Analyzer supports the analysis of partial models. As a result, it can perform incremental analysis of models as they are constructed, and provide immediate feedback to users.
[edit]