Alloy Analyzer
From Wikipedia, the free encyclopedia
(Redirected from Alloy language)
The Alloy Analyzer is a software tool based around the Alloy specification language (inspired by the Z notation). It provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models of software systems that can then be automatically checked for correctness.
Alloy specifications can be checked using the Alloy Analyzer. This tool supports the analysis of partial models. As a result, it can perform incremental analysis of models as they are constructed, and provide immediate feedback to users.
The language and tool have been developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.
[edit] See also
[edit] External links
[edit] References
- Daniel Jackson: Software Abstractions: Logic, Language, and Analysis, MIT Press, 2006. ISBN 978-0-262-10114-1.
