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)