极小连通分量相关硕士博士期刊学术论文

模型检测是一项很成功的自动化系统验证技术,对于不满足的验证属性,需要额外输出一个反例。为了生成更好的模型反例,对原始系统模......