Alloy - software design puzzle solver
Author
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.
Author
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.
This topic is closed to new replies.
Advertisement
Popular Topics
Advertisement
