Lidské rozhraní k automatovým knihovnám nástroje MONA
| but.committee | prof. RNDr. Milan Češka, CSc. (předseda) doc. Ing. Vladimír Janoušek, Ph.D. (místopředseda) Ing. Ivana Burgetová, Ph.D. (člen) Doc. Ing. Zdeněk Havlice, CSc. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Pokuste se vysvětlit, v čem spočívá hlavní problém při budování symbolické reprezentace přechodové funkce (nedeterministického) automatu a proč tato konstrukce u větších instancí selhává. | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Rogalewicz, Adam | cs |
| dc.contributor.author | Pyšný, Radek | cs |
| dc.contributor.referee | Šimáček, Jiří | cs |
| dc.date.created | 2011 | cs |
| dc.description.abstract | Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA . | cs |
| dc.description.abstract | Finite tree automata is formalism used in many different areas of computer science, among others in the area of formal verification. Nowdays there are few tools used for handling of finite tree automata, however libraries of MONA tool are the best choice. The finite tree automata are a frequent tool for formal verification of computer systems which work with dynamic data structures. The input format of finite tree automata for libraries of MONA tool is very difficult for humans because it is necessary to enter the move function of the finite tree automaton in a form of several multiterminal binary decision diagrams. The aim of this thesis is to design and implement tool to convert the finite set of move rules into internal format of the MONA tool. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | PYŠNÝ, R. Lidské rozhraní k automatovým knihovnám nástroje MONA [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2011. | cs |
| dc.identifier.other | 42481 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/187593 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Formální verifikace | cs |
| dc.subject | stromové automaty | cs |
| dc.subject | binární rozhodovací diagramy | cs |
| dc.subject | rozhraní. | cs |
| dc.subject | Formal verification | en |
| dc.subject | tree automata | en |
| dc.subject | binary decision diagrams | en |
| dc.subject | interface. | en |
| dc.title | Lidské rozhraní k automatovým knihovnám nástroje MONA | cs |
| dc.title.alternative | Human Interface to Automata Libraries of MONA Tool | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2011-06-21 | cs |
| dcterms.modified | 2020-05-09-23:42:26 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 42481 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 14:50:14 | en |
| sync.item.modts | 2025.01.17 11:52:39 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |