News for hackers. Stuff that matters.

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

Re:Introduction to TLA+ Model Checking in the Command Line by usermac on Friday January 18, 2019 @08:34AM (#18939143)
I've watched TLA+ creators videos and was impressed positively. It is lovely to see such logic in action with powerful results.
[ Parent | on HN ]

There are no comments on this comment yet.