酷应用

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

百家作者：PingCAP 2018-04-09 09:50:55

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 会议室

交通：地铁 8 号线西小口 C 口出

导航“中关村东升科技园北领地西门”，右侧入园刷卡处正对的楼就是 D-3 号楼，如果找不到，可以咨询安保哥哥/叔叔 ~~

本周 Meetup 特设置了半小时的答疑互动环节，

快来报名告诉我们关于本期话题，

你有什么想和我们聊聊的~~

点击阅读原文，即可报名~~

来报名~

关注公众号：拾黑（shiheibook）了解更多

[广告]赞助链接：

*文章为作者独立观点，不代表爱尖刀立场

本文由 PingCAP发表，转载此文章须经作者同意，并请附上出处( 爱尖刀 )及本页链接。

原文链接 https://www.ijiandao.com/2b/baijia/102658.html

PingCAP APP Meetup

图库

关注网络尖刀微信公众号
随时掌握互联网精彩

赞助链接

百度热搜榜

排名热点搜索指数