Computable fixpoints in well-structured symbolic model checking

Nathalie Bertrand; Philippe Schnoebelen

doi:10.1007/s10703-012-0168-y

Article Dans Une Revue Formal Methods in System Design Année : 2013

Computable fixpoints in well-structured symbolic model checking

(1) , (2)

1
2

Nathalie Bertrand

Fonction : Auteur
PersonId : 838273

SUpervision of large MOdular and distributed systems

Philippe Schnoebelen

Fonction : Auteur
PersonId : 180677
IdHAL : philippe-schnoebelen
ORCID : 0000-0001-8180-2686
IdRef : 050806173

Laboratoire Spécification et Vérification [Cachan]

Domaines

Informatique et théorie des jeux [cs.GT] Logique en informatique [cs.LO]

Nathalie Bertrand : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00906826

Soumis le : mercredi 20 novembre 2013-13:33:59

Dernière modification le : vendredi 24 mars 2023-14:52:57

Dates et versions

hal-00906826 , version 1 (20-11-2013)

Identifiants

HAL Id : hal-00906826 , version 1
DOI : 10.1007/s10703-012-0168-y

Citer

Nathalie Bertrand, Philippe Schnoebelen. Computable fixpoints in well-structured symbolic model checking. Formal Methods in System Design, 2013, 43 (2), pp.233-267. ⟨10.1007/s10703-012-0168-y⟩. ⟨hal-00906826⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY

261 Consultations

0 Téléchargements

Computable fixpoints in well-structured symbolic model checking

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager