Thesis Details

Překladač z fragmentu jazyka C do nástroje ARTMC

Bachelor's Thesis Student: Marušák Matej Academic Year: 2016/2017 Supervisor: Rogalewicz Adam, doc. Mgr., Ph.D.
English title
Compiler of C Language Fragment to ARTMC Tool
Language
Czech
Abstract

AbstractWith growing complexity of software programs the need for automated analysis and verifi-cation grows as well. Reasearch group VeriFIT based on Faculty of Information Technologyof Brno University of Technology is involved in research of this area. One of the developedtools is the ARTMC tool. This bachelor's thesis designs and implements compiler of C lan-guage fragment into input format of the ARTMC tool. Implemented compiler makes workwith ARTMC tool much easier, since the input format is not suitable for manual creation.

Keywords

ARTMC, compiler, C, verification, Python

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
13 June 2017
Reviewer
Hruška Martin, Ing.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Martínek Tomáš, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
MARUŠÁK, Matej. Překladač z fragmentu jazyka C do nástroje ARTMC. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-13. Supervised by Rogalewicz Adam. Available from: https://www.fit.vut.cz/study/thesis/19558/
BibTeX 
@bachelorsthesis{FITBT19558,
    author = "Matej Maru\v{s}\'{a}k",
    type = "Bachelor's thesis",
    title = "P\v{r}eklada\v{c} z fragmentu jazyka C do n\'{a}stroje ARTMC",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19558/"
}

Theses

Back to top