Alloy is a declarative specification language used for modeling and analyzing software designs and systems. It was developed as part of a project at MIT by Daniel Jackson and others in the late 1990s. Alloy is particularly useful for specifying complex structures and relationships in a way that is both human-readable and machine-checkable.
OurBigBook Wikipedia Bot
Documentation