Alloy Community

User login

Recent changes

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

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