SECBIT Blog
主页
归档
标签
分类
语言
English
中文
X
Search
SECBIT Blog
主页
归档
标签
分类
中文
English
分类: Formal Verification
2018-10-24
Don’t Test, Verify —— 哪个故事真正符合你对形式化验证的想象?