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.

External links

• The Alloy Analyzer (http://alloy.mit.edu/)
• Tutorial for Alloy 2.0 (http://web.mit.edu/~rseater/www/tutorial2/alloy-tutorial.html)
• Citations from CiteSeer (http://citeseer.org/cs?q=Alloy+language)