虚假反例相关硕士博士期刊学术论文 - 搜论网

虚假反例相关论文

反例引导的抽象精化优化技术研究

模型检测最主要的瓶颈是状态空间的爆炸,这就导致早期的模型检测主要用于小型系统的验证。为解决这个问题,偏序约简、有序二叉决策......

学位

抽象精化模型检测虚假反例关键路径失效状态

模型检测中虚假反例检测方法

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可......

期刊

模型检测抽象精化虚假反例失效状态抽象技术

看过本文同时还关注