tla-plus reviews and mentions
Posts with mentions or reviews of tla-plus.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Five Principles that Guide TiDB and PingCAP (Part I)
The distributed database industry has its own methodology: verify the algorithm and then implement it. To make sure that the whole system is theoretically feasible, we used TLA+ to verify all the core algorithms and open sourced the verification.
Stats
Basic tla-plus repo stats
1
289
0.0
about 1 month ago
pingcap/tla-plus is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of tla-plus is TLA.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com