Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA

Abdelhak Khemiri 1 Maamar El Amine Hamri 1 Claudia Frydman 1 Jacques Pinaton 2
1 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
2 ST-ROUSSET - STMicroelectronics [Rousset]
Document type :
Conference papers
Complete list of metadatas
https://hal-amu.archives-ouvertes.fr/hal-02372283
Contributor : Maamar El Amine Hamri <>
Submitted on : Wednesday, November 20, 2019 - 12:29:08 PM
Last modification on : Thursday, January 9, 2020 - 12:12:03 PM

Identifiers

  • HAL Id : hal-02372283, version 1

Collections

UNIV-AMU | LIS-LAB | UNIV-TLN | CNRS

Citation

Abdelhak Khemiri, Maamar El Amine Hamri, Claudia Frydman, Jacques Pinaton. Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA. Proceedings of Computer Simulation Conference 2019, Jul 2019, Berlin, Germany. ⟨hal-02372283⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

15

Contact

Informations

CCSD