News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by snak on Friday November 29, 2019 @04:41AM (#21663270)
I've seen it used in RabbitMq, but I also wonder if this is used in the real world or just in academia/few technologies.
[ Parent | on HN ]

There are no comments on this comment yet.