Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.

Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui

Browse the full AINA paper archive.