Non-termination Witnesses and Their Validation

ÁDÁM, Zsófia; Paulína AYAZIOVÁ; Levente BAJCZI; Dirk BEYER; Marek JANKOLA; Marian LINGSCH-ROSENFELD a Jan STREJČEK. Non-termination Witnesses and Their Validation. Online. In Automated Software Engineering, ASE 2025. 2025.

Základní údaje

Originální název

Non-termination Witnesses and Their Validation

Autoři

ÁDÁM, Zsófia; Paulína AYAZIOVÁ; Levente BAJCZI; Dirk BEYER; Marek JANKOLA; Marian LINGSCH-ROSENFELD a Jan STREJČEK

Vydání

Automated Software Engineering, ASE 2025, 2025

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

verification witness; software verification; validation; exchange format; invariant; counterexample

Štítky

AVELAB, core_A, firank_1, program analysis, verification, verification witnesses

Příznaky

Mezinárodní význam, Recenzováno

---

Návaznosti

GA23-06506S, projekt VaV	Název: Pokročilá analýza a verifikace pro pokročilý software Investor: Grantová agentura ČR, Pokročilá analýza a verifikace pro pokročilý software
MUNI/A/1666/2024, interní kód MU	Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 25 Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 25