Original title: Překladač z fragmentu jazyka C do nástroje ARTMC
Translated title: Compiler of C Language Fragment to ARTMC Tool
Authors: Marušák, Matej ; Hruška, Martin (referee) ; Rogalewicz, Adam (advisor)
Document type: Bachelor's theses
Year: 2017
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
S narastajúcou komplexitou softvérových programov je stále viac a viac žiadaná automa- tizovaná analýza a verifikácia týchto programov. Výskumná skupina VeriFIT na Fakulte informačních technologií Vysokého učení technického sa zaoberá výskumom v danej oblasti. Jedným z vytvorených nástrojov v tejto skupine je aj nástroj ARTMC. Táto bakalárska práca navrhuje a implementuje prekladač z podmnožiny jazyka C do vstupného formátu ná- stroja ARTMC. Vytvorený prekladač výrazne uľahčuje prácu s nástrojom ARTMC, nakoľko vstupný formát nie je vhodný na manuálné vytváranie. Abstract With growing complexity of software programs the need for automated analysis and verifi- cation grows as well. Reasearch group VeriFIT based on Faculty of Information Technology of Brno University of Technology is involved in research of this area. One of the developed tools 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 work with ARTMC tool much easier, since the input format is not suitable for manual creation.
Keywords: ARTMC; C; compiler; Python; verification; ARTMC; C; prekladač; Python; verifikácia

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/69775

Permalink: http://www.nusl.cz/ntk/nusl-701353


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses