News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by QuinnWilton on Friday November 29, 2019 @02:46PM (#21666383)
This presentation is exactly the sort of thing I'm interested in, thank you!
[ Parent | on HN ]

There are no comments on this comment yet.