Hajdu, Ákos; Micskei, Zoltán Efficient strategies for CEGAR-based model checking. (English) Zbl 1468.68131 J. Autom. Reasoning 64, No. 6, 1051-1091 (2020). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{Á. Hajdu} and \textit{Z. Micskei}, J. Autom. Reasoning 64, No. 6, 1051--1091 (2020; Zbl 1468.68131) Full Text: DOI
Pintér, G.; Micskei, Z.; Majzik, I. Supporting design and developement of safety critical applications by model based tools. (English) Zbl 1199.68058 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 61-78 (2009). MSC: 68N99 PDF BibTeX XML Cite \textit{G. Pintér} et al., Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 61--78 (2009; Zbl 1199.68058)