摘要
对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。
It has great significance to relieve the state space explosion problem and improve the verification efficiency and practicality by state reduction.This paper analyzed the composition pattern of real-time components.The timed behavior protocols based composition and the state space explosion problem were discussed,and the state space reduction algorithm for timed behavior protocol was given,and the sample was presented finally.
出处
《计算机科学》
CSCD
北大核心
2012年第4期135-138,共4页
Computer Science
基金
国家自然科学基金项目(90718017)
山东省自然科学基金项目(ZR2011FL023)
山东省软科学项目(2010RKE16007)
聊城大学自然科学重点项目(x09032)
山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助
关键词
实时构件
时间行为协议
状态
约减
Real-time component
Timed behavior protocol
States
Reduction
