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

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

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⟩

Share

Metrics

Record views

53