Jump to content
  • Advertisement
Sign in to follow this  
T1Oracle

Alloy - software design puzzle solver

This topic is 4509 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

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.

Share this post


Link to post
Share on other sites
Advertisement
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.

Share this post


Link to post
Share on other sites
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.

Share this post


Link to post
Share on other sites
Sign in to follow this  

  • Advertisement
×

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

We are the game development community.

Whether you are an indie, hobbyist, AAA developer, or just trying to learn, GameDev.net is the place for you to learn, share, and connect with the games industry. Learn more About Us or sign up!

Sign me up!