Alloy language
|
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)