Název:
Překladač z fragmentu jazyka C do nástroje ARTMC
Překlad názvu:
Compiler of C Language Fragment to ARTMC Tool
Autoři:
Marušák, Matej ; Hruška, Martin (oponent) ; Rogalewicz, Adam (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2017
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
ARTMC; C; prekladač; Python; verifikácia; ARTMC; C; compiler; Python; verification
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/69775