搜索筛选:
搜索耗时0.0338秒,为你在为你在61,042,058篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈振宇,陶志红,KLEINE BNING Hans,王立福,
来源：软件学报 年份：2004
提出一个结合变量抽象和有界模型检测(BMC)的验证框架,用于证明反例不存在或输出存在反例.引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程.一个VMU公式F的变...
相关搜索：
