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 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

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

28