Bc. Paulína Ayaziová

Bachelor's thesis

Klee-Based Error Witness Checker

Klee-Based Error Witness Checker
Anotácia:
Keďže verifikačné nástroje občas produkujú nekorektné výsledky, generovanie svedkov sa stalo bežnou súčasťou verifikácie softvéru. Táto práca sa zaoberá svedkami chýb v programoch. V práci popisujeme používaný formát týchto svedkov a nástroje slúžiace na ich overenie. Ako hlavný výsledok práce predstavujeme nový nástroj na overovanie svedkov, Witch-Klee, založený na symbolickej exekúcii. Tento nástroj …viac
Abstract:
Providing witnesses has become a standard practice in software verification, as software verifiers occasionally produce incorrect results. This thesis focuses on witnesses of erroneous behaviour. We describe the commonly used format of software verification witnesses and present the currently available error witness checkers and their validation techniques. As the primary outcome, we introduce a new …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 16. 12. 2021

Obhajoba závěrečné práce

  • Obhajoba proběhla 8. 2. 2022
  • Vedúci: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Artificial Intelligence and Natural Language Processing