A Parametric Analysis of the State Explosion Problem in Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

A Parametric Analysis of the State Explosion Problem in Model Checking

Résumé

In model checking, the state explosion problem occurs when one verifies a non-flat system, i.e. a system described implicitly as a synchronized product of elementary subsystems. In this paper, we investigate the complexity of a wide variety of model checking problems for non-flat systems under the light of parameterized complexity, taking the number of synchronized components as a parameter. We provide precise complexity measures (in the parameterized sense) for most of the problems we investigate, and evidence that the results are robust.
Fichier principal
Vignette du fichier
DLS-stacs2002.pdf (257.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03202661 , version 1 (20-04-2021)

Identifiants

Citer

Stéphane Demri, François Laroussinie, Philippe Schnoebelen. A Parametric Analysis of the State Explosion Problem in Model Checking. 19th Annual Symposium on Theoretical Aspects of Computer Science Antibes - Juan les Pins, Helmut Alt; Afonso Ferreira, Mar 2002, Antibes - Juan les Pins, France. pp.620-631, ⟨10.1007/3-540-45841-7_51⟩. ⟨hal-03202661⟩
26 Consultations
30 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More