【Infra Meetup 预告】No.66 : Application of TLA+ at PingCAP

PingCAP 第 66 期 Meetup

董麒麟

PingCAP infrastructure intern，致力于形式化方法在 TiDB 的应用。

Talk

Application of TLA+ at PingCAP

Content

TLA+ 是 Lamport 设计的一套形式化语言，用于设计、建模和形式化验证并发系统。本周的 Meetup 将会与大家介绍 TLA+ 的基本知识，并分享 TLA+ 在 PingCAP 的一些具体的应用。

TLA+ 源码地址：https://github.com/pingcap/tla-plus

时间：2018 - 04 - 14  10:00 - 12:00

地点：海淀区西小口路，中关村东升科技园北领地 D-3 号楼一层 108B 会议室

来报名~