Published in Volume XX, 2010, pages 131-157

Authors: H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau


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.

Full Text (PDF)


  title={State Space Reduction for Dynamic Process Creation},
  author={H. Klaudel and M. Koutny and E. Pelz and F. Pommereau},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}