形式化验证的一些资料

flyingstar · 发表于 2011-10-8 11:44:22

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 flyingstar 于 2011-10-8 12:08 编辑

formal_verification.part1.rar (12.4 MB, 下载次数: 330 )

formal_verification.part2.rar (12.4 MB, 下载次数: 131 )

formal_verification.part3.rar (10.31 MB, 下载次数: 142 )

形式验证简介_for.ppt (578 KB, 下载次数: 135 )

serugudi · 发表于 2011-10-8 20:11:37

dude
Thanks for sharing the formal tutorials

serugudi · 发表于 2011-10-8 20:13:39

Thanks for sharing the docs/ppt

serugudi · 发表于 2011-10-8 20:17:30

Thanks for the wonderful materials

serugudi · 发表于 2011-10-8 20:37:15

Dude
Thanks for the slides

kate2011 · 发表于 2011-11-5 12:59:14

谢谢分享

flyloop · 发表于 2011-11-19 16:09:40

可惜对我没啥用。不是formality的相关资料

yhgao13 · 发表于 2011-11-21 22:16:04

谢谢分享

yhgao13 · 发表于 2011-11-21 22:17:38

谢谢分享

justin371 · 发表于 2011-11-27 22:43:09

Thanks very much

[资料] 形式化验证的一些资料