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[edit | edit source]

External links[edit | edit source]

Community content is available under CC-BY-SA unless otherwise noted.