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 Karrot_Kream on Friday January 18, 2019 @03:47AM (#18937950)
Which model checkers use Pi Calculus? I've thought about learning Pi Calculus but an much less interested if there's no checker.
[ Parent | on HN ]

There are no comments on this comment yet.