Alloy

Alloy is a formal specification language that has an associated tool, developed by Daniel Jackson (computer scientist)↑ at MIT↑. It is influenced by the Z notation.

See also

• ABZ conference

External links

• Alloy Community website
• Alloy (specification language↑} on Wikipedia