Contains the keyword formal verification
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems. Software and Systems Modeling. 2020;19(Interplay of Model-Driven and Component-Based Software Engineering). Abstract
PLC Program Translation for Verification Purposes. Periodica Polytechnica, Electrical Engineering and Computer Science. 2017;61(2):151-65. Abstract
Automatic Transformation of {UML} Models for System Verification. In: Whittle J, editor. WTUML'01: Workshop on Transformations in UML. Genova, Italy; 2001. p. 123-7. Abstract
Visual Graph Transformation in System Verification. In: Gramatova E, Manhaeve H, Pawlak A, editors. DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems. Bratislava, Slovakia; 2000. p. 137-41. Abstract
