Here's the comparison I found: https://groups.google.com/forum/m/#!topic/tlaplus/C7Rmka3iSGE https://groups.google.com/forum/m/#!topic/tlaplus/C7Rmka3iSG... A

Here's the comparison I found: https://groups.google.com/forum/m/#!topic/tlaplus/C7Rmka3iSGE https://groups.google.com/forum/m/#!topic/tlaplus/C7Rmka3iSG... Alloy is a nice tool. I've seen it in my field used to verify transaction handling in simple databases and part of a high-assurance VPN. Another person here said they check data structures with it.