   Alloy - software design puzzle solver
  I've just read about this software and the existence of other similiar products.  I find it very interesting and I wonder if anyone has any opinions on it and/or reccomendations for other software of similiar function.  It will be a while before I can experiment with it but the knowledge is always useful.   
 Dependable Software by Design Unlike model checking, however, our technique does not examine scenarios in their entirety, one at a time. Instead it searches for a bad scenario--one that results in failure--by filling in each state in an automated fashion, one bit at a time, in no particular order.;  For those who, like me, tried to find the aforementioned software, clicky linky.   ;  Thanks for the link LessBread, that is exactly where I read about Alloy, although I had the print version.  I wonder if anyone here has used such software, I'd love to read some opinions on it.   