反例引导相关论文
计算机的使用越来越普及，人们对计算机的依赖程度也越来越高。计算机软硬件系统规模也随之日益复杂，如何保证其正确性和可靠性，逐渐成......
针对模型组合中常见的“状态空间爆炸”问题，分析了抽象和组合两种方法各自的优缺点，采用“反例引导的抽象精化”框架和模型检验思想......
