News for hackers. Stuff that matters.

A comment on TLA+ model checking made symbolic. Parent comment

Re:TLA+ model checking made symbolic by baq on Friday November 29, 2019 @05:19AM (#21663450)
at the very least it's worth it to watch the video courses by Lamport himself.
[ Parent | on HN ]

There are no comments on this comment yet.