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 virgilp on Friday January 18, 2019 @10:51AM (#18940091)
TLA is about testing the design, not the implementation. Read the TLA homepage, I promise it's fun.
[ Parent | on HN ]

There are no comments on this comment yet.