Non-termination Witnesses and Their Validation

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ÁDÁM Zsófia AYAZIOVÁ Paulína BAJCZI Levente BEYER Dirk JANKOLA Marek LINGSCH-ROSENFELD Marian STREJČEK Jan
Rok publikování	2025
Druh	Článek ve sborníku
Konference	Automated Software Engineering, ASE 2025
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Klíčová slova	verification witness; software verification; validation; exchange format; invariant; counterexample
Související projekty:	Pokročilá analýza a verifikace pro pokročilý software Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 25