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⟩ 