News for hackers. Stuff that matters.

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

Re:TLA+ model checking made symbolic by southpolesteve on Friday November 29, 2019 @12:10PM (#21665497)
Azure Cosmos DB does. There is a good video about it: https://www.youtube.com/watch?v=kYX6UrY_ooA
[ Parent | on HN ]
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 ]