Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton. Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. In Umut Durak, editor, Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019. ACM, 2019. [doi]
Abstract is missing.