DatenLord前沿技术分享 No.15

1、演讲题目

使用 TLA+ 为分布式算法验证正确性

2、演讲时间

2023年1月8日上午10:30

3、演讲人

田野 达坦科技(DatenLord)

4、引言

随着计算机领域的发展，软件变得越来越庞大复杂。特别是在并发与分布式领域，由于其具有极高的复杂性，传统的基于“经验”的软件设计与验证方式已经不能满足需要，因此我们需要一种更好的方式验证软件的正确性——使用 TLA+。

5、内容简介

本次分享中，会介绍形式化规范语言 TLA+ 的特性与思想，并从与传统编程不同的角度，利用简单的数学知识，为一些简单的算法编写 TLA+ specification。

6、 直播预约

欢迎您预约直播，或者登陆腾讯会议观看直播：

会议号：581-8301-3525