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] ABZ conference External links[edit | edit source] Alloy Community website Alloy (specification language↑} on Wikipedia This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/Alloy?oldid=5111" Categories: Article stubs Virtual Library Z notation Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.