开发者社区 问答 正文

TLA+简介?

TLA+简介?

展开
收起
商陆呀 2022-05-09 21:11:33 406 分享 版权
1 条回答
写回答
取消 提交回答
  • TLA+(Temporal Logic of Actions) 是Leslie Lamport开发的一门形式化验证语言,用于程序的设计、建模、文档和验证等,特别是并发系统和分布式系统。

    2022-05-10 14:44:55
    赞同 展开评论
问答地址: