分享formal verification电子书

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

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

x

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

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

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

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

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

lzdestiny · 发表于昨天 22:44

6666666

zzzzzzhhzz · 发表于 3 天前

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

ezio1996 · 发表于 2025-7-8 11:48:34

GERJKEFGAHDSFWJHGFVQYIWSUJHFGQWUYRDFTUYQWR

日晨难再 · 发表于 2025-7-3 00:20:26

感谢

yongbinguo · 发表于 2025-7-1 14:42:20

感谢分享~~

mcm908911 · 发表于 2025-6-30 09:30:15

3ks for sharing

[资料] 分享formal verification电子书