Alloy Community

User login

Software

Please first login if you wish to upload software.

NameGroup
Namesort iconDateGroup(s)
SML: Secrecy Modeling Language code name silver04/27/2009UofO
Alloy Analyzer 4.1.1003/19/2009MIT-SDG
Kodkod: constraint solver for relational logic03/17/2009MIT-SDG
Eclipse Plugin for Alloy 4: Alloy 4 Eclipse (A4E)12/06/2008CRIL-CNRS
Kodkodi: A text-based front-end for the Kodkod library10/17/2008
Forge: Bounded Program Verification03/13/2008MIT-SDG
DynAlloy: An extension of Alloy for modeling Dynamic Execution of Actions01/25/2008
Alloy Analyzer 3.005/21/2006MIT-SDG
Alloy Analyzer 2.007/12/2002MIT-SDG

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte