Abstract: SysML is a graphical modeling language that is mostly used for the graphical representation of real-time systems, complex systems ... the correction and verification of SysML internal block ...