文章
视频
讲堂
百科图谱
线下集训
更多
问答
提问
发表文章
专栏
活动
文档
工作
集市
发现
Toggle navigation
文章
问答
视频
讲堂
线下集训
专栏
活动
工作
文档
集市
搜索
登录/注册
pirapira
文章
专栏
问答
视频
课程
集市作品
活动
招聘
TA的文章
TA购买的
TA喜欢的
TA收藏的
在另一个Casper上使用形式化方法在之前的一篇文章中，我谈到了…… | Yoichi Hirai | Medium
本文详细介绍了Vlad的Casper协议及其在Isabelle/HOL中的形式化验证过程，探讨了异步环境下共识问题的核心挑战，并展示了如何使用形式化方法确保估计的安全性。
casper
Isabelle/HOL
形式化验证
异步性
共识
估计安全性
发布于 2017-09-28 16:27
阅读(21)
点赞(0)
分享
Twitter分享
微信扫码分享
×
文章删除后将不可恢复 !
删除
取消
一键转载
转载文章不用复制粘贴和编辑，输入原文链接，交给后台发布!
暂只支持: 微信公众号、Mirror、Medium的文章链接
提交后可在个人主页查看文章发布状态
提交
提交成功!
系统处理完成后将直接进入审核发布流程，可在个人主页关注文章状态。
pirapira
关注
贡献值: 15
学分: 5
江湖只有他的大名，没有他的介绍。
0 关注
0 粉丝
×
发送私信
请将文档链接发给晓娜，我们会尽快安排上架，感谢您的推荐！
发给:
内容:
提醒
检测到你当前登录的账号还未绑定手机号
请绑定后再发布
去绑定
×
编辑封面图
封面预览
取消
确认
