Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA - Aix-Marseille Université Access content directly
Conference Papers Year :

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

No file

Dates and versions

hal-02372283 , version 1 (20-11-2019)

Identifiers

  • HAL Id : hal-02372283 , version 1

Cite

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⟩
55 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More