1、 演讲题目
使用 TLA+ 为分布式算法验证正确性
2、演讲时间
2023年1月8日上午10:30
3、演讲人
田野 达坦科技(DatenLord)
4、引言
随着计算机领域的发展，软件变得越来越庞大复杂。特别是在并发与分布式领域，由于其具有极高的复杂性，传统的基于“经验”的软件设计与验证方式已经不能满足需要，因此我们需要一种更好的方式验证软件的正确性——使用 TLA+。
5、内容简介
本次分享中，会介绍形式化规范语言 TLA+ 的特性与思想，并从与传统编程不同的角度，利用简单的数学知识，为一些简单的算法编写 TLA+ specification。
6、直播预约
欢迎您预约直播，或者登陆腾讯会议观看直播：
会议号：581-8301-3525
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。