Alloy is used in a wide variety of applications. The page provides links to some tools built
on Alloy and Kodkod (Alloy’s model finding engine), and to lists of
citations from Google Scholar of papers that discuss applications of Alloy.
||A general-purpose, higher-order, relational constraint solver
||An embedding of Alloy in Ruby
||A bounded verifier for Java code
||Unified execution of imperative and declarative code
||Eclipse plugin for Alloy 4
||An extension of Alloy with procedural actions
||A tool for checking equals methods in Java
||A security policy analyzer for firewalls
|Secrecy Modeling Language (SML)
||A language for composing and validating security models.
||A tool for model repair and transformation built over Alloy