News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by trobertson on Friday November 29, 2019 @04:49PM (#21667003)
And here is the Github of their models: https://github.com/Azure/azure-cosmos-tla
[ Parent | on HN ]

There are no comments on this comment yet.