反例制导抽象精化相关硕士博士期刊学术论文

模型检测是自动化地验证系统行为满足给定性质的一种技术。它的基本做法是通过对系统所有可能的行为进行探索来证明系统满足给定的......