Exploiting Local Persistency for Reduced State Space Generation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Exploiting Local Persistency for Reduced State Space Generation

Kamel Barkaoui
CEDRIC. Systèmes sûrs
Hanifa Boucheneb
  • Fonction : Auteur
  • PersonId : 848572
Laboratoire VeriForm - Department of Computer Engineering
Zhiwu Li
Xidian University
Macau University of Science and Technology

Domaines

Informatique [cs] Complexité [cs.CC]

Kamel BARKAOUI  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02475841

Soumis le : mercredi 12 février 2020-12:11:27

Dernière modification le : vendredi 19 juillet 2024-11:38:05

Fichier non déposé

Dates et versions

hal-02475841 , version 1 (12-02-2020)

Identifiants

Citer

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting Local Persistency for Reduced State Space Generation. 12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, Oct 2018, Porto, Portugal. pp.166-181, ⟨10.1007/978-3-030-00359-3_11⟩. ⟨hal-02475841⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM
72 Consultations
0 Téléchargements

Altmetric

Partager

More