Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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 metadata
https://hal-amu.archives-ouvertes.fr/hal-02372283
Contributor : MAAMAR EL AMINE HAMRI Connect in order to contact the contributor
Submitted on : Wednesday, November 20, 2019 - 12:29:08 PM
Last modification on : Sunday, June 26, 2022 - 10:19:41 AM

Identifiers

  • HAL Id : hal-02372283, version 1

Collections

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

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 Datacite

Share

Metrics

Record views

53