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