State Space Reduction for Dynamic Process Creation
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau · HAL (Le Centre pour la Communication Scientifique Directe) · 2010
Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for such systems. To make the new technique applicable to a wide range of different system models, we express it in terms of general labelled transition systems.