DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

Aznam Yacoub (1, 2) , Maamar El Amine Hamri (1, 2) , Claudia Frydman (1, 2) , Chungman Seo (3) , Bernard P Zeigler (3)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 MOFED - Modèles et Formalismes à Evénements Discrets
3 ECE - Department of Electrical and Computer Engineering [Tucson]

Domains: Computer Science [cs]

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, Chungman Seo, Bernard P Zeigler. DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System. International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩. ⟨hal-01785965⟩