Contains the keyword model checking

Bartha T, Vörös A, Jámbor A, Darvas D. 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.
Rensink A, Schmidt Á, Varró D. Model Checking Graph Transformations: A Comparison of Two Approaches. In: Proc. ICGT 2004: Second International Conference on Graph Transformation. Vol 3256. Rome, Italy: Springer; 2004. p. 226-41. (LNCS; vol 3256). Abstract
Gyapay S, Schmidt Á, Varró D. Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. In: Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques. Vol 109. Elsevier; 2004. p. 137-47. (ENTCS; vol 109). Abstract
Tartalom átvétel