精化检验论文

论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...