Back to search

Bc. Paulína Ayaziová

Bachelor's thesis

Klee-Based Error Witness Checker

Klee-Based Error Witness Checker
Abstract:
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 …more
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 …more
 

Keywords

symbolic execution software verification verification witnesses program analysis Klee witness validation
 
Language used: English
Date on which the thesis was submitted / produced: 16. 12. 2021
Identifier: https://is.muni.cz/th/rnv19/

Thesis defence

  • Date of defence: 8. 2. 2022
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: prof. RNDr. Jiří Barnat, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

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

Theses on a related topic

List of theses with an identical keyword.
All theses