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
This article is a stub. You can help Wikipedia by expanding it.