1. 首页
  2. 数据库
  3. 其它
  4. 基于完备抽象解释的模型检验CTL公式研究

基于完备抽象解释的模型检验CTL公式研究

上传者: 2021-02-22 19:49:31上传 PDF文件 4.11MB 热度 13次
Abstraction plays a fundamental role in combating state-space explosion in model checking. In a complete abstract interpretation-based view, the authors reduce the state space of a Kripke structure in order to obtain a minimal abstract state translation system that strongly preserves a given tempora
下载地址
用户评论