作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）...
投稿
收录了1篇文章 · 4人关注
-
如何用数学验证软件的正确性——TLA+学习总结
作者：罗胜金版权声明：欢迎转载，请注明原作者 1. 前言 下文将总结我的TLA+技术学习心得，分为道（理论）、法（方法）、术（技术）、器（工具）...
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/603117/bg.jpg', '推荐专题《TLA+》（ 分享自 @简书 ）','https://jianshuapi.com/c/4dad170e0244?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','页面编码gb2312|utf-8默认gb2312'));){kind=link}