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

Abdelhak Khemiri; Maamar  El Amine Hamri; Claudia Frydman; Jacques Pinaton

Conference Papers Year :

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

(1) , (1) , (1) , (2)

1
2

Abdelhak Khemiri

Function : Author

Modèles et Formalismes à Evénements Discrets

Maamar El Amine Hamri

Function : Author
PersonId : 1036804

Modèles et Formalismes à Evénements Discrets

Claudia Frydman

Function : Author

Modèles et Formalismes à Evénements Discrets

Jacques Pinaton

Function : Author
PersonId : 914679

STMicroelectronics [Rousset]

Domains

Computer Science [cs] Artificial Intelligence [cs.AI] Computer Science [cs] Logic in Computer Science [cs.LO]

MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-02372283

Submitted on : Wednesday, November 20, 2019-12:29:08 PM

Last modification on : Thursday, July 14, 2022-4:10:48 AM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share