时间行为协议状态空间约减算法

• 作者: 张振领 李舟军 贾仰理
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 实时构件 时间行为协议 状态 约减
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 135-138
• 分类号: TP311
• 字数: 5461字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.04.030

摘要

对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义.分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾仰理	聊城大学计算机学院	13	77	5.0	8.0
2	张振领	聊城大学计算机学院	14	52	5.0	6.0