反例生成相关论文
实时系统是一类需要在规定的时间内响应外部事件并完成对外部事件处理的系统，这类系统常见于与生命财产密切相关的领域，一旦这类系统......
模型检测最重要的特性之一是能够为不满足的时态属性生成反例。反例可以为工程师提供调试信息,以进一步解释属性的违反情况。然而,......
模型检测是用来验证系统模型是否满足所期望性质的一种形式化方法，模型检测相对于其它的模型检验方法有两个显著的特点，一个是它对模......
针对传统的符号模型检测反例生成算法在生成反例时会产生大量的无关变量,使得反例难以理解。提出一种改进的反例生成算法,将反例中......
按照存在量词公式的证据是全称量词公式的反例的特性，通过考察时态逻辑算子，用模型检查的反例生成机制对测试用例生成技术进行研究．然......
描述一个在模型判别器中实现的实用的反例生成策略。该策略利用电路性质描述语言的特点 ,将所有的“反例”生成算法归结为三种基本......
