An Approach to State Space Reduction for Systems with Dynamic Process Creation (2009)

Author(s): Klaudel H, Koutny M, Pelz E, Pommereau F

    Abstract: Automated verification of dynamic multi-threaded computing systems can be adversely affected by problems relating to dynamic process creation. We therefore investigate - in a general setting of labelled transition systems - a way of reducing the state spaces of multi-threaded systems. At the heart of our method is a state equivalence, which may produce a finite representation of an infinite state system while still allowing to validate the relevant behavioural properties. We demonstrate the feasibility of the method through experiments involving the checking of the proposed state equivalence.

      • Date: 14-16 September 2009
      • Conference Name: 24th International Symposium on Computer and Information Sciences
      • Pages: 543-548
      • Publisher: IEEE
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: multi-threaded systems, state equivalence, state space computation, state space reduction


      Professor Maciej Koutny
      CS Director of Research