Re:The Case for Formal Verification (2013)
by ma2rten on Monday April 21, 2014 @03:10AM
(#7620129)
Could you elaborate on that? I looked at the article and look at a description of Alloy, it doesn't seem to me like a good example to use for Alloy.
[ Parent
| on HN ]
From Daniel Jackson's book on Alloy [1], here are a few of the major examples they provide:
* Leader election in a ring
* Hotel room locking (this one is really cool)
* Media asset library management
* Memory abstractions
[1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...