开发者社区> 问答> 正文

Lamport的TLA+主页上列出了一些TLA+在工业界的应用?

Lamport的TLA+主页上列出了一些TLA+在工业界的应用?

展开
收起
商陆呀 2022-05-09 21:13:54 305 0
1 条回答
写回答
取消 提交回答
  • 以Amazon为例,Amazon AWS的一些系统的核心算法就使用了TLA+来做形式化验证,如表1列出了TLA+给AWS的一些系统找出的问题,其中涵盖了一些非常核心的组件,这些核心组件的问题一旦在线上暴露,造成的损失将是不可估量的。正是如此,现在分布式云服务的核心算法使用TLA+来对设计做验证已经成为行业标准了,所以作为云服务的从业者或者对此感兴趣的同学,熟悉TLA+绝对是不可或缺的加分项。

    2022-05-10 17:50:34
    赞同 展开评论 打赏
问答地址:
问答排行榜
最热
最新

相关电子书

更多
属兔的处子——Clojure太灵活,臣妾驾驭不住啊 立即下载
如何成为一名优秀的工程师(语义篇) 立即下载
50行代码玩转强化学习讲义 立即下载