有界模型检验论文

论文题目:模型检验及其布尔可满足问题的研究论文类型:博士论文论文专业:计算机系统结构作者:邵明导师:李晓维关键词:模型检验,有界模型检验,布尔可满足问题,模型的抽象和细化,极小...