会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Write the code, change the world.
首页
新随笔
联系
订阅
管理
2017年7月26日
TLA+和并发系统正确性验证
摘要: TLA+介绍 TLA+(WIKI,官网)是一门领域特定语言,主要用于数理逻辑计算和并发系统的正确性验证。TLA+中的TLA代表的是“行为时序逻辑(Temporal Logic of Actions)”,Action 是纯函数;“+”代表“Data Logic”。这是由 Dr. Lamport所提出的
阅读全文
posted @ 2017-07-26 16:20 wahaha02
阅读(4050)
评论(0)
推荐(1)
编辑