but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Vojnar, Tomáš	en
dc.contributor.author	Fiedor, Jan	en
dc.contributor.referee	Arcaini, Paolo	en
dc.contributor.referee	Farchi, Eitan	en
dc.date.created		cs
dc.description.abstract	V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.	en
dc.description.abstract	Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.	cs
dc.description.mark	P	cs
dc.identifier.citation	FIEDOR, J. Praktické metody automatizované verifikace paralelních programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	128153	cs
dc.identifier.uri	http://hdl.handle.net/11012/187297
dc.language.iso	en	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	dynamická analýza	en
dc.subject	souběžnost	en
dc.subject	vkládání šumu	en
dc.subject	testování	en
dc.subject	transakční paměť	en
dc.subject	kontrakty	en
dc.subject	dynamic analysis	cs
dc.subject	concurrency	cs
dc.subject	noise injection	cs
dc.subject	testing	cs
dc.subject	transactional memory	cs
dc.subject	contracts	cs
dc.title	Praktické metody automatizované verifikace paralelních programů	en
dc.title.alternative	Practical Methods of Automated Verification of Concurrent Programs	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.modified	2020-05-10-17:46:39	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	128153	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.27 12:19:35	en
sync.item.modts	2025.01.17 14:07:51	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Praktické metody automatizované verifikace paralelních programů

Files

Original bundle

Collections