Follow
TLA +是一种正式的规范语言。它是设计系统和算法的工具，然后以编程方式验证这些系统没有严重错误。它是相当于蓝图的软件。通常用于设计分布式事务系统，亚马逊等公司普遍使用该语言规范设计他们的分布式事务中间件基础设施。是分布式架构设计语言。 我为什么要用它？… https://t.co/00Rnw0XrZG https://twitter.com/jdon_com/status/1117872478452191232
TLA +是一种正式的规范语言。它是设计系统和算法的工具，然后以编程方式验证这些系统没有严重错误。它是相当于蓝图的软件。通常用于设计分布式事务系统，亚马逊等公司普遍使用该语言规范设计他们的分布式事务中间件基础设施。是分布式架构设计语言。 我为什么要用它？… https://t.co/00Rnw0XrZG https://twitter.com/jdon_com/status/1117872478452191232