Alloy Community

Navigation

User login

Recent posts

Forum topicVisualizing a specific Pred whassan18 hours 29 min ago
Forum topicVisualize a specific set of instance variables Will Man18 hours 58 min ago
Forum topicUtil/Boolean whassan1 day 12 hours ago
GroupMIT-SDG alloy1 week 17 hours ago
GroupRFM-UBA jgaleotti1 week 18 hours ago
PublicationRequirements and compliance in legal systems: a logic approach whassan1 week 1 day ago
SoftwareAlloy Analyzer 4.1.8 Felix Chang1 week 1 day ago
SoftwareAlloy Analyzer 3.0 alloy1 week 1 day ago
SoftwareAlloy Analyzer 2.0 alloy1 week 1 day ago
Forum topicWikibook on Modeling from A to Z MihalOrela1 week 1 day ago
Forum topicRSS of "Recent Posts" cyrus1 week 3 days ago
Forum topicUsing Alloy for Compliance Analysis anonymous1 week 4 days ago
Forum topicTranslateAlloyToKodKod.execute_command API change clarification nicolas.rouquette1 week 5 days ago
Forum topichow to get the xml output of my contradictions Bob1 week 6 days ago
TutorialA Guide To Alloy ICLstudentgroup083 weeks 11 hours ago
PublicationFormal Modeling and Analysis of a Flash Filesystem in Alloy eskang3 weeks 1 day ago
Forum topicModeling language interpretation bergel3 weeks 1 day ago
PublicationFinding Minimal Unsatisfiable Cores of Declarative Specifications emina3 weeks 2 days ago
PublicationUsing Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models anonymous3 weeks 2 days ago
PublicationBoolean Compilation of Relational Specifications alloy3 weeks 2 days ago
PublicationIsomorph-free Model Enumeration: A New Method for Checking Relational Specifications alloy3 weeks 2 days ago
PublicationA Comparison of Object Modelling Notations: Alloy, UML and Z alloy3 weeks 2 days ago
PublicationA Nitpick Analysis of Mobile IPv6 alloy3 weeks 2 days ago
PublicationSome Shortcomings of OCL, the Object Constraint Language of UML alloy3 weeks 2 days ago
PublicationThe Future of Software Analysis alloy3 weeks 2 days ago
 

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