共计 305 个字符，预计需要花费 1 分钟才能阅读完成。
1、演讲题目
应用 TLA+ 为分布式算法验证正确性
2、演讲工夫
2023 年 1 月 8 日上午 10:30
3、演讲人
原野 达坦科技 (DatenLord)
4、引言
随着计算机领域的倒退，软件变得越来越宏大简单。特地是在并发与分布式畛域，因为其具备极高的复杂性，传统的基于“教训”的软件设计与验证形式曾经不能满足需要，因而咱们须要一种更好的形式验证软件的正确性——应用 TLA+。
5、内容简介
本次分享中，会介绍形式化标准语言 TLA+ 的个性与思维，并从与传统编程不同的角度，利用简略的数学知识，为一些简略的算法编写 TLA+ specification。
6、直播预约
欢迎您预约直播，或者登陆腾讯会议观看直播：
会议号：581-8301-3525
正文完