Thesis Details

Vizualizace datových struktur pro verifikační nástroje

Bachelor's Thesis Student: Holubec Michael Academic Year: 2015/2016 Supervisor: Peringer Petr, Dr. Ing.
English title
Data Structure Visualization for Verification Tools
Language
Czech
Abstract

The aim of my bachelor thesis is an object-oriented design and implementation of a library which will provide a unified interface to a verification tool Predator and other tools for making a vizualization of data structures primarily for debuging purposes. This work analyses some qualities of the verification tool Predator, Forester and CPAchecker. The library offers not only a graphic but also a text-based output in DOT language. The result has been tested by connecting to the verification tool Predator.

Keywords

Verification, Visualization of data structures, Verification tool, Predator, Forester, CPAchecker

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
14 June 2016
Reviewer
Lengál Ondřej, Ing., Ph.D.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY FIT BUT), člen
Citation
HOLUBEC, Michael. Vizualizace datových struktur pro verifikační nástroje. Brno, 2016. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2016-06-14. Supervised by Peringer Petr. Available from: https://www.fit.vut.cz/study/thesis/18837/
BibTeX 
@bachelorsthesis{FITBT18837,
    author = "Michael Holubec",
    type = "Bachelor's thesis",
    title = "Vizualizace datov\'{y}ch struktur pro verifika\v{c}n\'{i} n\'{a}stroje",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18837/"
}

Theses

Back to top