FANDOM


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

  • ABZ conference

External links Edit