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

摘要：

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

关键词：实时构件、时间行为协议、状态、约减

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目90718017;山东省自然科学基金项目ZR2011FL023;山东省软科学项目2010RKE16007;聊城大学自然科学重点项目x09032;山东省高校智能信息处理与网络安全重点实验室

在线出版日期：2012-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：135-138