摘要: TLA+介绍 TLA+(WIKI,官网)是一门领域特定语言,主要用于数理逻辑计算和并发系统的正确性验证。TLA+中的TLA代表的是“行为时序逻辑(Temporal Logic of Actions)”,Action 是纯函数;“+”代表“Data Logic”。这是由 Dr. Lamport所提出的 阅读全文
posted @ 2017-07-26 16:20 wahaha02 阅读(4050) 评论(0) 推荐(1) 编辑