Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
1 year 43 weeks

Recent Activities
Sample ModelsChecking and Reasoning about Semantic Web through Alloy anonymous1 year 33 weeks ago
Sample ModelsModelling the Active Badge System anonymous1 year 33 weeks ago
Sample ModelsUsing Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models anonymous1 year 33 weeks ago
Sample ModelsLessons Learned Using Alloy to Formally Specify MLS-PCA Trusted Security Architecture anonymous1 year 33 weeks ago
Sample ModelsA Formal Model of Addressing for Interoperating Networks anonymous1 year 33 weeks ago
Sample ModelsAlloy model of Pacman anonymous1 year 33 weeks ago
CourseCS 525V : Introduction to Computer-Aided Verification anonymous1 year 33 weeks ago
Forum topicVisualization of a Kodkod Solution anonymous1 year 34 weeks ago
Forum topicInconsistent Solution Space (Solution enumeration returns repeated solution) anonymous1 year 34 weeks ago
Forum topicPowerset Impossibility anonymous1 year 35 weeks ago
Forum topicInteger Power anonymous1 year 35 weeks ago
Forum topicRelationship's arity anonymous1 year 35 weeks ago
Forum topicArithmetic Operations on Integers anonymous1 year 35 weeks ago
Forum topicArity too large? anonymous1 year 35 weeks ago
Forum topicGoing from expressions to kernel expressions? anonymous1 year 35 weeks ago
Forum topicModel that generates an instance but an empty XML file anonymous1 year 35 weeks ago
Forum topicAdding Naturals anonymous1 year 35 weeks ago
Forum topicClosure returning Extra Elements anonymous1 year 35 weeks ago
Forum topicshort form for predicates anonymous1 year 35 weeks ago
Forum topicwhat is wrong with this piece of code anonymous1 year 35 weeks ago
« first‹ previous123456789next ›last »

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