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 PDFBibTeX XMLCite \textit{Á. Hajdu} and \textit{Z. Micskei}, J. Autom. Reasoning 64, No. 6, 1051--1091 (2020; Zbl 1468.68131) Full Text: DOI
Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István A configurable CEGAR framework with interpolation-based refinements. (English) Zbl 1347.68226 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 158-174 (2016). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{Á. Hajdu} et al., Lect. Notes Comput. Sci. 9688, 158--174 (2016; Zbl 1347.68226) Full Text: DOI HAL
Hajdu, Ákos; Vörös, András; Bartha, Tamás New search strategies for the Petri net CEGAR approach. (English) Zbl 1432.68308 Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 309-328 (2015). MSC: 68Q85 68Q60 68W15 PDFBibTeX XMLCite \textit{Á. Hajdu} et al., Lect. Notes Comput. Sci. 9115, 309--328 (2015; Zbl 1432.68308) Full Text: DOI Link
Hajdu, Ákos; Vörös, András; Bartha, Tamás; Mártonka, Zoltán Extensions to the CEGAR approach on Petri nets. (English) Zbl 1313.68080 Acta Cybern. 21, No. 3, 401-417 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{Á. Hajdu} et al., Acta Cybern. 21, No. 3, 401--417 (2014; Zbl 1313.68080) Full Text: DOI