Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
复制标题
交叉检查 - 基于组件的系统的可达全局状态空间的增强过度近似
DOI：
10.1007/978-3-642-04420-5_18
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Christoph Minnameier
中科院分区：
文献类型：
--
作者：
M. Majster;Christoph Minnameier
状态空间爆炸导致基于组件的系统的大多数相关行为问题是PSPACE困难的。在这里，我们利用基于组件的系统的结构，以获得可达的全局状态空间的第一近似。为了改善这种近似，我们引入了一种新的技术，我们称之为交叉检查。由此产生的近似可以用来研究基于组件的系统，我们在这里展示的局部死锁自由的全局属性。
State space explosion causes most relevant behavioral questions for component-based systems to be PSPACE-hard. Here, we exploit the structure of component-based systems to obtain a first approximation of the reachable global state space. In order to improve this approximation we introduce a new technique we call cross-checking. The resulting approximation can be used to study global properties of component-based systems, which we demonstrate here for local deadlock-freedom.
SOFSEM 2007：计算机科学的理论与实践
DOI：
10.1007/978-3-540-69507-3_15
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Broersma H
通讯作者：
Broersma H