DatenLord前沿技术分享 No.15

1、演讲题目

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

2、演讲时间

2023年1月8日上午10:30

3、演讲人

田野 达坦科技(DatenLord)

4、引言

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

5、内容简介

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

6、 直播预约

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

会议号:581-8301-3525

你可能感兴趣的:(前沿技术分享,前沿技术,前沿技术分享,DatenLord,达坦科技,TLA+)