关于软件设计:DatenLord前沿技术分享-No15

33次阅读

共计 305 个字符,预计需要花费 1 分钟才能阅读完成。

1、演讲题目

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

2、演讲工夫

2023 年 1 月 8 日上午 10:30

3、演讲人

原野 达坦科技 (DatenLord)

4、引言

随着计算机领域的倒退,软件变得越来越宏大简单。特地是在并发与分布式畛域,因为其具备极高的复杂性,传统的基于“教训”的软件设计与验证形式曾经不能满足需要,因而咱们须要一种更好的形式验证软件的正确性——应用 TLA+。

5、内容简介

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

6、直播预约

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

会议号:581-8301-3525

正文完
 0