News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment

Re:Introduction to TLA+ Model Checking in the Command Line by pron on Friday January 18, 2019 @07:13AM (#18938742)
I don't think TLA+ is far too expressive to translate to Promela. There are, however, tools that translate subsets of TLA+ to ProB: https://www3.hhu.de/stups/prob/index.php/TLA
[ Parent | on HN ]

There are no comments on this comment yet.