【PingCAP Infra Meetup】No.66 Application of TLA+ at PingCAP
上 2018.4.14 的 Meetup 上，我司董麒麟同学为大家讲解了 TLA+ 在 TiDB 中的应用。TLA+ 是一个用来设计、描述和验证并发系统的一套形式化语言，易学易用。在 TiDB 中，我们非常关心一些关键系统的设计正确性，所以使用 TLA+ 来保证这一点。
查看链接阅读更多内容并领取现场 ppt 哦：https://mp.weixin.qq.com/s/E3OgUxFlxAI5PWJZHzj62w
欢迎访问 TiDB Community 官网：https://tidb.net/
顶部