在2023年1月8日的演讲中，田野达坦科技(DatenLord)将探讨如何运用TLA+进行分布式算法的正确性验证。面对日益复杂的软件设计，特别是并发和分布式系统，传统的验证方法已不足，TLA+作为一种形式化规范语言，利用简单的数学原理为算法编写规格说明，提供了一种更有效的验证方式。观众可预约直播或在腾讯会议581-8301-3525参与。
1、演讲题目
使用 TLA+ 为分布式算法验证正确性
2、演讲时间
2023年1月8日上午10:30
3、演讲人
田野 达坦科技(DatenLord)
4、引言
随着计算机领域的发展，软件变得越来越庞大复杂。特别是在并发与分布式领域，由于其具有极高的复杂性，传统的基于“经验”的软件设计与验证方式已经不能满足需要，因此我们需要一种更好的方式验证软件的正确性——使用 TLA+。
5、内容简介
本次分享中，会介绍形式化规范语言 TLA+ 的特性与思想，并从与传统编程不同的角度，利用简单的数学知识，为一些简单的算法编写 TLA+ specification。
6、 直播预约
欢迎您预约直播，或者登陆腾讯会议观看直播：
会议号：581-8301-3525
扫一扫
480
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
