Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus

Radu Mateescu; Mihaela Sighireanu

doi:10.1016/s0167-6423(02)00094-1

Article Dans Une Revue Science of Computer Programming Année : 2003

Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus

(1) , (2)

1
2

Radu Mateescu

Fonction : Auteur
PersonId : 834239

System validation - Research and applications

Mihaela Sighireanu

Fonction : Auteur
PersonId : 181411
IdHAL : mihaela-sighireanu
ORCID : 0000-0002-1925-089X
IdRef : 161342728

Laboratoire d'informatique Algorithmique : Fondements et Applications

Mots clés

boolean equation system diagnosis labeled transition system model-checking mu-calculus specification temporal logic verification

Domaines

Génie logiciel [cs.SE] Logique en informatique [cs.LO]

Mihaela Sighireanu : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00109620

Soumis le : mercredi 25 octobre 2006-09:53:24

Dernière modification le : jeudi 4 avril 2024-21:37:57

Dates et versions

hal-00109620 , version 1 (25-10-2006)

Identifiants

HAL Id : hal-00109620 , version 1
DOI : 10.1016/s0167-6423(02)00094-1

Citer

Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming, 2003, 46(3), pp.255-281. ⟨10.1016/s0167-6423(02)00094-1⟩. ⟨hal-00109620⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UGA CNRS INRIA LIAFA LIG INRIA2 LIG_SIDCH

85 Consultations

0 Téléchargements

Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager