成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
形式化验证
关注
0
综合
百科
VIP
热门
动态
论文
精华
【区块链】智能合约:架构及进展
产业智能官
4+阅读 · 2020年7月27日
让黑客从良?一种无法被黑客攻破的技术?!
硅谷第一线
0+阅读 · 2018年3月13日
华为自研系统“鸿蒙”发布!已研发七年,可替代安卓
猎云网
0+阅读 · 2019年8月10日
专访哈工大朱晓蕊教授:系统安全会成为无人机未来的重要问题
AI科技评论
0+阅读 · 2019年5月25日
机器学习模型中的 bug 太难找?DeepMind 呈上了三种好方法!
AI科技评论
0+阅读 · 2019年6月2日
Thinking Above Code:TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
FCS 优青论坛 | MSVL:一种类型化时序逻辑程序设计语言
FCS
0+阅读 · 2017年11月9日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
CertiK发布形式化验证自动检测引擎AutoScan:市值前500通证合约中多达53个含高危漏洞隐患
硅谷第一线
0+阅读 · 2018年8月31日
最牛华人“程序员”邵中教授与哥大顾荣辉教授联手解决安全问题痛点,打造区块链理想世界
AI金融评论
0+阅读 · 2018年3月7日
一行代码蒸发64亿?!形式化验证帮你一秒避免悲剧
硅谷第一线
0+阅读 · 2018年5月1日
区块链安全公司CertiK正式加入通用协议联盟
硅谷第一线
0+阅读 · 2019年2月23日
20亿EDU币被盗?形式化验证一键检错!
硅谷第一线
2+阅读 · 2018年5月24日
拿什么来保护你,我的币?
硅谷第一线
0+阅读 · 2018年5月12日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top