断言－相容模型检测[EB/OL]
北京：中国科技论文在线
我们构造了两个有效的抽象模型来实施AC模型检测
本文阐述了一种称为AC（断言－相容）模型检测的新方法
In this concrete framework, a new subset of CTL* is addressed, denoted
这两个抽象模型具有可靠性和完备性
） Abstract： In the past two decades, model checking has emerged as a promising
关键词： 模型检测
abstractions
Keywords： model checking; partial model; abstraction 下载PDF阅读器 PDF全文下载： 初稿 （ 402 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 陈振宇
【详情见下载】
