Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui. Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. In Leonard Barolli, editor, Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 2. Volume 200 of Lecture Notes on Data Engineering and Communications Technologies, pages 199-212, Springer, 2024. [doi]
Abstract is missing.