分享formal verification电子书

kang.kang · 发表于 2019-8-23 14:02:31

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

×

最近在看formal verification方面的东西，找到一本书觉得不错，分享给大家。

网上关于formal verification的资料似乎不多，大家有好的资料和学习途径以及对formal verification的看法欢迎留言回复~~

下载地址见附件，提取码回复可见。
提取码:

游客，如果您要查看本帖隐藏内容请回复

补充内容 (2021-8-20 16:22):
更多资料进Q群交流 698677676

ccq1177 · 发表于 4 天前

提取码谢谢

hjiahu · 发表于 2025-8-18 08:39:47

看看

yushu81 · 发表于 2025-8-18 08:16:31

Thanks

Jimmy_wang108 · 发表于 2025-8-5 08:58:03

提取码

lzdestiny · 发表于 2025-8-1 22:44:23

6666666

zzzzzzhhzz · 发表于 2025-7-30 14:37:07

mark

simoncui · 发表于 2025-7-13 15:40:20

感谢

wonky_blue · 发表于 2025-7-11 15:44:10

mark一下

andersondon · 发表于 2025-7-8 18:48:23

谢谢分享

vegechick · 发表于 2025-7-8 18:41:59

thanks sharing

账号		自动登录	找回密码
密码			注册

[资料] 分享formal verification电子书