Ask HN: Alloy Specification Language experience
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)
No comments yet.