Contains the keyword formal methods
Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking. In: Ilie-Zudor E, Kemény Z, Monostori L, editors. Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012). Budapest, Hungary: Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI); 2012.
