 | conditional expressions | 1 | 24 weeks 2 hours ago
by rseater | 24 weeks 2 hours ago
by rseater |
| separating signatures from relations on them? | 2 | 25 weeks 4 days ago
by cmsmcq | 24 weeks 2 days ago
by jzoth |
| nested multiplicities | 1 | 25 weeks 3 days ago
by hpacheco | 25 weeks 3 days ago
by hpacheco |
| Beginner linkedlist | 1 | 25 weeks 5 days ago
by vibber | 25 weeks 3 days ago
by vibber |
| Zebra Puzzle in Alloy | 1 | 25 weeks 5 days ago
by jzoth | 25 weeks 4 days ago
by cmsmcq |
| Help with solution to Exercise A.1.2 in DNJ's Book | 7 | 26 weeks 6 days ago
by storm | 26 weeks 4 days ago
by storm |
| Automaton and state-transition function | 0 | 27 weeks 8 hours ago
by culmone | n/a |
| Use of util/sequniv | 6 | 28 weeks 4 hours ago
by tuong005 | 27 weeks 13 hours ago
by tuong005 |
| How to Use Switch-Case in Alloy? | 8 | 27 weeks 6 days ago
by eniAc | 27 weeks 1 day ago
by bernardofbbraga |
| alloy metamodel | 0 | 27 weeks 3 days ago
by hpacheco | n/a |
| Graphical projection not coherent with instance numbering (railway example from the book) | 5 | 27 weeks 5 days ago
by David Chemouil | 27 weeks 4 days ago
by Felix Chang |
| Execution traces? | 2 | 29 weeks 4 days ago
by tuong005 | 27 weeks 6 days ago
by tuong005 |
| abstract signatures | 1 | 28 weeks 1 day ago
by hpacheco | 28 weeks 21 hours ago
by Felix Chang |
| Twisted model | 2 | 30 weeks 1 day ago
by culmone | 29 weeks 6 days ago
by culmone |
| Visualizing model | 1 | 37 weeks 1 day ago
by khalil esbaitah | 31 weeks 1 hour ago
by whassan |
| Using Alloy for validating UML Metamodel | 1 | 36 weeks 4 days ago
by Mona Khoshroo | 31 weeks 1 hour ago
by whassan |
| Counter-Examples and Assertions | 3 | 31 weeks 5 days ago
by alfio | 31 weeks 1 day ago
by Jeremy.Jacob |
| Recursive Function! | 1 | 32 weeks 4 days ago
by Phorozan | 32 weeks 4 days ago
by Felix Chang |
| Various questions : dealing with explicit instances; = in place of 'in' | 2 | 33 weeks 3 days ago
by David Chemouil | 33 weeks 1 day ago
by David Chemouil |
| This name is ambiguous due to multiple matches: | 4 | 33 weeks 4 days ago
by sheidaei | 33 weeks 4 days ago
by cyrus |
| Counting instances/counter-examples | 0 | 34 weeks 1 hour ago
by al561914 | n/a |
| Using 'in' for comparison instead of assignment | 6 | 35 weeks 17 hours ago
by BFL | 34 weeks 23 hours ago
by BFL |
| Enforce to One Relationship | 10 | 35 weeks 1 hour ago
by Phorozan | 34 weeks 1 day ago
by Phorozan |
| Verification of requirements using Alloy | 1 | 35 weeks 1 day ago
by supacliny | 34 weeks 1 day ago
by supacliny |
| order of tuples in n-ary relations | 3 | 34 weeks 1 day ago
by hpacheco | 34 weeks 1 day ago
by hpacheco |
