语言理论自查（二）

解释形式化验证与测试的区别、状态爆炸、静态分析为什么有误报。