Contains the keyword saturation
Component-wise Incremental LTL Model Checking. Formal Aspects of Computing. 2016;28(3):345-79.
Bounded saturation-based CTL model checking. Proceedings of the Estonian Academy of Sciences. 2013;62(1):12.
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.
