News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by papermachete on Friday November 29, 2019 @04:30AM (#21663221)
Amazon uses it, even made publications for it.
[ Parent | on HN ]
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 ]