cid 34bd87825477e48594d5f2c1c8e5e43cbd63a7cd98c034fd24730cbe272ef5b1 · original · open access · via wikipedia
Title: Alloy (specification language) Authors: Venue: Wikipedia Year: unknown Canonical: wiki:alloy-specification-language URL: https://en.wikipedia.org/wiki/Alloy_(specification_language) Collector: wikipedia OA: true ABSTRACT In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer.