计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
4期
135-138
,共4页
实时构件%时间行为协议%状态%约减
實時構件%時間行為協議%狀態%約減
실시구건%시간행위협의%상태%약감
对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义.分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例.
對複雜時間行為協議狀態進行約減對于緩解形式化驗證的狀態空間爆炸問題,提高驗證工具繫統的效率、實用性等具有重要意義.分析瞭實時構件組閤的幾種形態,對基于時間行為協議的組閤理論和狀態空間爆炸問題進行瞭討論,給齣瞭時間行為協議的狀態空間約減算法併進行瞭分析,給齣瞭示例.
대복잡시간행위협의상태진행약감대우완해형식화험증적상태공간폭작문제,제고험증공구계통적효솔、실용성등구유중요의의.분석료실시구건조합적궤충형태,대기우시간행위협의적조합이론화상태공간폭작문제진행료토론,급출료시간행위협의적상태공간약감산법병진행료분석,급출료시례.
