Alloy Community

User login

anonymous

Home » User account

info

Name
Anonymous
Role
student

History

Member for
1 year 43 weeks

Recent Activities
PublicationAutomatic Visualization of Relational Logic Models anonymous1 year 17 weeks ago
PublicationAutomating Modular Program Verification by Refining Specifications anonymous1 year 17 weeks ago
Forum topicHow to detect whether maxium/minimum bound of integer is exceeded? anonymous1 year 18 weeks ago
Forum topicHow to define transitive closure of tree-like relations for reachability, transitive closure over a formula anonymous1 year 20 weeks ago
Forum topicHow does the Analyzer slice Alloy models anonymous1 year 20 weeks ago
Forum topicIs it possible with Alloy? anonymous1 year 28 weeks ago
Sample ModelsCentral Registry: A Pattern for Modular Implicit Invocation anonymous1 year 29 weeks ago
Sample ModelsUnderstanding Filesystem Synchronization Software and Policies anonymous1 year 29 weeks ago
Sample ModelsAnalyzing Multicast Key Management Schemes anonymous1 year 29 weeks ago
Forum topicinstance type anonymous1 year 31 weeks ago
Forum topicChecking Multiple Assertions anonymous1 year 31 weeks ago
Forum topicOdd behaviour, possible bug (regarding abstract sig) anonymous1 year 31 weeks ago
Forum topicStatement Spanning Multiple Lines anonymous1 year 31 weeks ago
Forum topicDefining formal semantics using Alloy anonymous1 year 31 weeks ago
Forum topicQuestion about closure operations anonymous1 year 32 weeks ago
Forum topicGenerating a set through fact restrictions anonymous1 year 32 weeks ago
Forum topicAssertions over data structures in Alloy anonymous1 year 32 weeks ago
Forum topicA4 module resolution paradox anonymous1 year 32 weeks ago
Forum topicIntegers in Kodkod ( IntConstant.constant (...) ) anonymous1 year 32 weeks ago
CourseSOFTENG 461 - Special Topic in Software Engineering 1 anonymous1 year 33 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