On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL.

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche

Browse the full IRI paper archive.