I randomly found out about the "Alloy specification language". Basically it's an easy to use specification language which allows the developer to encode the logic of a piece of software and then test and debug this logic thus theoretically reducing the development and debugging time. I found the idea really intriguing so I was wondering if anyone here has used it for any of their projects and if so what do they think about it.

Links:

http://alloy.mit.edu/community

http://en.wikipedia.org/wiki/Alloy_(specification_language)