Alloy Community

Navigation

User login

Software

Please first login if you wish to upload software.

NameGroup
Namesort iconDateGroup(s)
Alloy Analyzer 4.1.808/07/2008MIT-SDG
Eclipse Plugin for Alloy 4: Alloy 4 Eclipse (A4E)07/22/2008CRIL-CNRS
Forge: Bounded Program Verification03/13/2008MIT-SDG
DynAlloy: An extension of Alloy for modeling Dynamic Execution of Actions01/25/2008
Kodkod: constraint solver for relational logic01/25/2008MIT-SDG
Alloy Analyzer 3.005/21/2006MIT-SDG
Alloy Analyzer 2.007/12/2002MIT-SDG
 

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