 |
Conference papers
Exploiting Local Persistency for Reduced State Space Generation
Kamel Barkaoui
1
Hanifa Boucheneb
2
Zhiwu Li
3, 4
1
CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
1
CEDRIC - SYS - CEDRIC. Systèmes sûrs
- CEDRIC - Centre d'études et de recherche en informatique et communications (292 rue Saint-Martin
75141 PARIS Cedex 03
Case courrier 2D4P30 - France)
- ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise : EA4629 (France)
- CNAM - Conservatoire National des Arts et Métiers [CNAM] : EA4629 (France)
2
VeriForm - Laboratoire VeriForm - Department of Computer Engineering (P.O. Box 6079, Station Centre-ville, Montr´eal, Qu´ebec,Canada, H3C 3A7 - Canada)
- EPM - École Polytechnique de Montréal (Campus de l'Université de Montréal - 2500, chemin de Polytechnique - Montréal (Québec) H3T 1J4 - Canada)
3
Xidian University (China)
4
MUST - Macau University of Science and Technology (Avenida Wai Long, Taipa, Macau - China)
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02475841
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:11:27 PM
Last modification on : Thursday, February 18, 2021 - 3:01:23 PM
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 12:11:27 PM
Last modification on : Thursday, February 18, 2021 - 3:01:23 PM
Identifiers
- HAL Id : hal-02475841, version 1
- DOI : 10.1007/978-3-030-00359-3_11
Collections
Citation
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⟩
Metrics
Record views