| Wed, 16 May 2012 |
| Course | Burkhardt | updated | TI 5002: Logik und formale Methoden |
| Mon, 14 May 2012 |
| Forum topic | aleks | comment | Inheritance effect for instance finding and simplication ... > When I run this |
| Sun, 13 May 2012 |
| Forum topic | sinemgetir | new | Inheritance effect for instance finding and simplication |
| Wed, 9 May 2012 |
| Forum topic | leberre | comment | What is the "expect" keyword in Ordering Module? ... expect 0 means that no |
| Tue, 8 May 2012 |
| Forum topic | sinemgetir | new | What is the "expect" keyword in Ordering Module? |
| Thu, 26 April 2012 |
| Forum topic | sinemgetir | comment | What does "No counterexample found. The assertion may be valid." mean? ... Hi,
it is said that "The |
| Wed, 18 April 2012 |
| Forum topic | emsaieb | comment | fact and predicate ... Many thanks for your |
| Mon, 16 April 2012 |
| Forum topic | aleks | comment | fact and predicate ... Facts are always assumed to |
| Sat, 14 April 2012 |
| Forum topic | emsaieb | new | fact and predicate |
| Wed, 11 April 2012 |
| Sample Models | Pieter Plop | comment | Magic Square (3*3) in Alloy ... Snozl |
| Sun, 1 April 2012 |
| Publication | maugusto | updated | Software Architecture Built from Behavior Models |
| Thu, 15 March 2012 |
| Forum topic | Shiva | comment | Generating model diagram ... So that answers my |
| Wed, 14 March 2012 |
| Forum topic | aleks | comment | Generating model diagram ... You are right, I don't think |
| Forum topic | Shiva | comment | Generating model diagram ... Hi Aleks,
Thanks for you |
| Tue, 13 March 2012 |
| Forum topic | aleks | comment | Generating model diagram ... Hi Marco,
You can get |
| Forum topic | Shiva | new | Generating model diagram |
| Tue, 6 March 2012 |
| Forum topic | aleks | comment | Modifying facts dynamically ... It is possible that |
| Forum topic | JLiang | comment | Modifying facts dynamically ... I'm trying to achieve this |
| Forum topic | aleks | comment | Modifying facts dynamically ... Are you trying to achieve |
| Mon, 5 March 2012 |
| Forum topic | JLiang | new | Modifying facts dynamically |
| Sun, 4 March 2012 |
| Forum topic | sinemgetir | comment | Instances in Alloy / Instance . class in Alloy ... Hi,
I am currently modelling |
| Forum topic | sinemgetir | comment | Alloy signatures "extends / in" keywords ... Sorry for late reply. I |
| Sat, 3 March 2012 |
| Forum topic | emsaieb | new | Alloy semantics |
| Sun, 26 February 2012 |
| Forum topic | aleks | comment | Alloy signatures "extends / in" keywords ... I don't know which papers |
| Forum topic | sinemgetir | comment | Alloy signatures "extends / in" keywords ... Actually I should add this |
| Forum topic | sinemgetir | comment | Alloy signatures "extends / in" keywords ... Actually yes, I used "in" |
| Wed, 22 February 2012 |
| Forum topic | aleks | comment | Alloy signatures "extends / in" keywords ... Maybe you should post a |
| Tue, 21 February 2012 |
| Forum topic | sinemgetir | comment | Alloy signatures "extends / in" keywords ... Hi,
Thank you for your |
| Wed, 15 February 2012 |
| Forum topic | aleks | comment | Alloy signatures "extends / in" keywords ... Hi,
It is safe to think |
| Forum topic | sinemgetir | new | Alloy signatures "extends / in" keywords |
| Tue, 14 February 2012 |
| Forum topic | maozs | new | Qunatification over unordered sets |
| Tue, 7 February 2012 |
| Forum topic | aleks | comment | MiniSat version provided with Alloy ... One way to update the |
| Forum topic | maozs | new | MiniSat version provided with Alloy |
| Forum topic | maozs | comment | How to add a new SAT-solver backend? ... Hi,
Following the comment |
| Mon, 6 February 2012 |
| Forum topic | angielski_wroclaw | comment | Wikibook on Modeling from A to Z ... Is there any polish |
| Thu, 26 January 2012 |
| Tutorial | Burkhardt | updated | Kurze Einführung in Alloy |
| Mon, 16 January 2012 |
| Forum topic | dnj | updated | Alloy programming and research position available |
| Fri, 13 January 2012 |
| Forum topic | achraf.elghazi | comment | How can one switch of the symmetry breaking in Alloy4 (analyzer) ... Hi,
Thanks a lot aleks, that |
| Thu, 12 January 2012 |
| Forum topic | aleks | comment | How can one switch of the symmetry breaking in Alloy4 (analyzer) ... I don't think there is an |
| Wed, 11 January 2012 |
| Forum topic | achraf.elghazi | new | How can one switch of the symmetry breaking in Alloy4 (analyzer) |
| Sun, 8 January 2012 |
| Tutorial | Burkhardt | new | Ansätze zur Modellierung von Dynamik in Alloy |
| Fri, 16 December 2011 |
| Forum topic | cmsmcq | comment | Need a solution ... Excellent! Thank you for |
| Forum topic | davidp | comment | New user trouble with book samples ... Thanks for the quick reply. |
| Forum topic | aleks | comment | New user trouble with book samples ... How did you poke further? I |
| Forum topic | davidp | new | New user trouble with book samples |
| Thu, 15 December 2011 |
| Forum topic | aleks | comment | Need a solution ... Here is a solution with less |
| Sun, 11 December 2011 |
| Forum topic | cmsmcq | comment | Need a solution ... Flattening a sequence of |
| Tue, 29 November 2011 |
| Forum topic | Lucas Nadalutti | comment | Two identical models w/ different behaviours ... Oh, I see. Well, at least, |
| Forum topic | aleks | comment | Two identical models w/ different behaviours ... Hi Lucas,
Those two models |
| Mon, 28 November 2011 |
| Forum topic | Lucas Nadalutti | new | Two identical models w/ different behaviours |
