3 ms·
None of the replacements I've seen so far are mature enough for me to recommend them over TLA+.
by hwayne 2y ago
None of the replacements I've seen so far are mature enough for me to recommend them over TLA+.
- igornotarobot 2y agoI believe this is really the tragedy of formal verification tools. Everybody wants a tool as robust as a compiler. At the same time, nobody wants to invest into development of such tools. Microsoft Research 20 years ago was probably an exception to that. The other companies wish to immediately hide these tools and the benchmarks behind the IP and closed source. As a result, we have early stage MVPs that are developed by 1-3 people.