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

Hanna Klaudel 1 Maciej Koutny 2 Elisabeth Pelz 3 Franck Pommereau 3
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 School of Computer Science
3 LACL - Laboratoire d'Algorithmique Complexité et Logique
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.
Keywords : multi-threaded systems state equivalence state space computation state space reduction
Type de document :
Communication dans un congrès
24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, 2009, 〈10.1109/ISCIS.2009.5291864〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00666664
Contributeur : Frédéric Davesne <>
Soumis le : dimanche 16 février 2014 - 15:42:28
Dernière modification le : jeudi 11 janvier 2018 - 06:26:35
Document(s) archivé(s) le : vendredi 16 mai 2014 - 10:35:36

Fichier

KKPP-ISCIS-2009.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

LACL | UPEC | UPEC-UPEM | IBISC | IBISC-COSMO | TDS-MACS

Citation

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, 2009, 〈10.1109/ISCIS.2009.5291864〉. 〈hal-00666664〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

148

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD