标记迁移系统的组合可达性分析

计算机科学 ›› 2005, Vol. 32 ›› Issue (12): 110-111.

• 软件工程与数据库技术 • 上一篇下一篇

标记迁移系统的组合可达性分析

文艳军王戟齐治昌

国防科技大学计算机学院,长沙410073

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文受国家自然科学基金（重点项目No.60233020,重大研究计划项目No.90104007）、863项目（No.2001AA113202,No.2001AAll3190）资助.

WEN Yan-Jun, WANG Ji ,QI Zhi-Chang （School of Computer, National University of Defense Technology, Changsha 410073）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时，系统的整体模型有可能出现状态空间的指数级爆炸，组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括，并作了形式化陈述，证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。

关键词: 标记迁移系统计算机辅助设计和验证组合可达性分析状态空间爆炸问题观察等价

Abstract: Labeled transition system is a formalism that is widely used in the literature of computer-assistant design and verification. As the module number of the system increases, the state space of the whole system may exponentially explods Compositional reachab

Key words: Labeled transition system, Computer-assistant design and verification, Compositional reachability analysis （CRA） ,State-explosion

文艳军王戟齐治昌. 标记迁移系统的组合可达性分析[J]. 计算机科学, 2005, 32(12): 110-111. https://doi.org/

WEN Yan-Jun, WANG Ji ,QI Zhi-Chang （School of Computer, National University of Defense Technology, Changsha 410073）. [J]. Computer Science, 2005, 32(12): 110-111. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

标记迁移系统的组合可达性分析

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0