Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
【区块链】智能合约:架构及进展
产业智能官
4+阅读 · 2020年7月27日
【快讯】华为正式发布自有操作系统鸿蒙OS!
cnbeta资讯
0+阅读 · 2019年8月9日
参考链接
微信扫码咨询专知VIP会员