Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

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

External links[]

Advertisement