Non-termination Witnesses and Their Validation

Ádám, Zsófia; Ayaziová,  Paulína; Bajczi, Levente; Beyer,  Dirk; Jankola,  Marek; Lingsch-Rosenfeld, Marian; Strejček,  Jan

Non-termination Witnesses and Their Validation

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	ÁDÁM Zsófia AYAZIOVÁ Paulína BAJCZI Levente BEYER Dirk JANKOLA Marek LINGSCH-ROSENFELD Marian STREJČEK Jan
Year of publication	2025
Type	Article in Proceedings
Conference	Automated Software Engineering, ASE 2025
MU Faculty or unit	Faculty of Informatics
Citation
Keywords	verification witness; software verification; validation; exchange format; invariant; counterexample
Related projects:	Advanced Analysis and Verification for Advanced Software Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 25