分类: formal verification

1 posts
Don’t Test, Verify —— 哪个故事真正符合你对形式化验证的想象?