提高可信度的途径 测试( testing)或仿真( simulation) 无法回答系统一定没有错误这样一类问题 形式化验证( Formal verification) 可以从某一个角度回答系统一定没有错误这样一类问题, 从而进一步提高我们对系统可靠性的可信度提高可信度的途径 ◼ 测试(testing)或 仿真(simulation) 无法回答系统一定没有错误这样一类问题 ◼ 形式化验证(Formal Verification) 可以从某一个角度回答系统一定没有错误这样一类问题, 从而进一步提高我们对系统可靠性的可信度