随机模型检验论文

基于启发式遗传算法生成随机模型检验的反例
论文摘要模型检验的主要优势之一是它能够在模型违反给定时态逻辑的情况下自动生成反例。反例提供了用于系统调试时的基本诊断信息,调试者可以根据反例,分析系统错误产生的原因,进而对系统...