成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
形式化验证
关注
0
综合
百科
VIP
热门
动态
论文
精华
Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
【区块链】智能合约:架构及进展
产业智能官
4+阅读 · 2020年7月27日
华为自研系统“鸿蒙”发布!已研发七年,可替代安卓
猎云网
0+阅读 · 2019年8月10日
【快讯】华为正式发布自有操作系统鸿蒙OS!
cnbeta资讯
0+阅读 · 2019年8月9日
华为鸿蒙问世!余承东喊话安卓:全球首款微内核全场景分布式OS开源!
新智元
0+阅读 · 2019年8月9日
华为鸿蒙问世!余承东喊话安卓:全球首款微内核全场景分布式OS开源!
新智元
0+阅读 · 2019年8月9日
机器学习模型中的 bug 太难找?DeepMind 呈上了三种好方法!
AI研习社
0+阅读 · 2019年6月5日
机器学习模型中的 bug 太难找?DeepMind 呈上了三种好方法!
雷锋网
1+阅读 · 2019年6月3日
机器学习模型中的 bug 太难找?DeepMind 呈上了三种好方法!
AI科技评论
0+阅读 · 2019年6月2日
专访哈工大朱晓蕊教授:系统安全会成为无人机未来的重要问题
AI研习社
2+阅读 · 2019年5月26日
专访哈工大朱晓蕊教授:系统安全会成为无人机未来的重要问题
AI科技评论
0+阅读 · 2019年5月25日
中科院教授白硕:AI+区块链,两大神器如何助力商业新生态
大数据文摘
0+阅读 · 2019年4月22日
【每日安全资讯】计算机科学家发布不会被黑的加密代码
Linux中国
0+阅读 · 2019年4月8日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top