but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté 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 C. Otázky u obhajoby: Můžete shrnout jaké výhody pro verifikační nástroje (mimo nástroje Predator) poskytuje použití vámi vytvořené knihovny oproti přímému napojení na funkce Graphvizu?	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	Peringer, Petr	cs
dc.contributor.author	Holubec, Michael	cs
dc.contributor.referee	Lengál, Ondřej	cs
dc.date.created	2016	cs
dc.description.abstract	Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator.	cs
dc.description.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.	en
dc.description.mark	C	cs
dc.identifier.citation	HOLUBEC, M. Vizualizace datových struktur pro verifikační nástroje [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016.	cs
dc.identifier.other	96563	cs
dc.identifier.uri	http://hdl.handle.net/11012/62113
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	Verifikace	cs
dc.subject	Vizualizace datových struktur	cs
dc.subject	Verifikační nástroj	cs
dc.subject	Predator	cs
dc.subject	Forester	cs
dc.subject	CPAchecker	cs
dc.subject	Verification	en
dc.subject	Visualization of data structures	en
dc.subject	Verification tool	en
dc.subject	Predator	en
dc.subject	Forester	en
dc.subject	CPAchecker	en
dc.title	Vizualizace datových struktur pro verifikační nástroje	cs
dc.title.alternative	Data Structure Visualization for Verification Tools	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2016-06-14	cs
dcterms.modified	2020-05-10-16:12:42	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	96563	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:56:16	en
sync.item.modts	2025.01.15 23:58:41	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

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

Files

Original bundle

Collections