Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul. Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. In Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill, editors, Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers. Volume 1447 of Communications in Computer and Information Science, pages 227-241, Springer, 2020. [doi]
Abstract is missing.