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