We therefore investigate - in a general setting of labelled transition systems - a way of reducing the state spaces of multi-threaded systems.
Feb 16, 2014 · Automated verification of dynamic multi-threaded com- puting systems can be adversely affected by problems relat- ing to dynamic process ...
Automated verification of dynamic multi-threaded computing systems can be adversely affected by problems relating to dynamic process creation.
An abstraction technique aimed at generating reduced state space representations for dynamic multi-threaded computing systems based on an equivalence ...
Abstract. Automated verification of dynamic multi-threaded computing sys- tems is severely affected by problems relating to dynamic process cre-.
In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique ...
State Space Reduction for Dynamic Process Creation - Semantic Scholar
www.semanticscholar.org › paper
An abstraction technique aimed at generating reduced state space representations for dynamic multi-threaded computing systems based on an equivalence ...
An approach to state space reduction for systems with dynamic process creation Conferences uri icon. Overview; Research; Identity; Additional Document Info ...
In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique ...
We focus on issues of modeling and show how state-space models offer a rich and flexible class of structures that accommodate both the static and dynamic nature ...