An approach to state space reduction for systems with dynamic process creation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

An approach to state space reduction for systems with dynamic process creation

Résumé

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.
Fichier principal
Vignette du fichier
KKPP-ISCIS-2009.pdf (131.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00666664 , version 1 (16-02-2014)

Identifiants

Citer

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau. An approach to state space reduction for systems with dynamic process creation. 24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩. ⟨hal-00666664⟩
160 Consultations
200 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More