Mu-Calculus Path Checking - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2006

Mu-Calculus Path Checking

Résumé

We investigate the path model checking problem for the \(μ\)-calculus. Surprisingly, restricting to deterministic structures does not allow for more efficient model checking algorithm, as we prove that it can encode any instance of the standard model checking problem for the \(μ\)-calculus.
Fichier principal
Vignette du fichier
MS05-IPL.pdf (146.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01194606 , version 1 (07-09-2015)

Identifiants

Citer

Nicolas Markey, Philippe Schnoebelen. Mu-Calculus Path Checking. Information Processing Letters, 2006, 97 (6), pp.225-230. ⟨10.1016/j.ipl.2005.11.010⟩. ⟨hal-01194606⟩
38 Consultations
82 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More