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
Advertisement
128
pages
Alloy
Advertisement
This wiki's URL has been migrated to the primary fandom.com domain.Read more here
READ MORE
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.
