Alloy language

The Alloy language is a simple structural modelling language based on first-order logic. It was mainly conceived as a tool to create 'micro-models' of software systems that could be automatically checked for correctness.

External Links

Alloy Web Site