News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by Upvoter33 on Friday November 29, 2019 @08:59AM (#21664383)
https://lamport.azurewebsites.net/tla/formal-methods-amazon.... for those who are interested
[ Parent | on HN ]

There are no comments on this comment yet.