Akcelerace procesu verifikace pomocí grafické karty – Bc. Tomáš Lamr
Bc. Tomáš Lamr
Master's thesis
Akcelerace procesu verifikace pomocí grafické karty
GPU accelerated LTL Model Checking
Abstract:
Programové systémy zastávají čím dál více úloh, ve kterých není přípustné jejich selhání. Například při řízení letového provozu by chyba programu mohla ohrozit nejen majetek leteckých společností ale i zdraví a životy cestujících. Z toho důvodu jsou vyvíjeny metody formální verifikace, které matematicky dokáží korektnost, tj. bezchybnost daného programového vybavení. Jedním z nejpoužívanějších přístupů …moreAbstract:
Modern computer systems plays important role that affects our lifes in many cases. For example, if a system for air traffic control would fail, there could be many losses on possession of Air transport companies, or even passengers could be in danger. These systems needs to be verified. It's important to be sure, that there are no bugs inside of them. Many methods of formal verification arose, one …more
Language used: Czech
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier:
https://is.muni.cz/th/lx49p/
Thesis defence
- Date of defence: 3. 7. 2009
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: RNDr. Milan Češka, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
Diferenciální lokalizace MAP65-2 a MAP65-3 v Arabidopsis
Renáta ŠNAUROVÁ -
Identifikace aminokyselin fosforylovaných proteinkinasou GSK3 v proteinu MAP2c
Róbert Šándor -
Regulace fosforylace MAP2c pomocí GSK3 beta po aktivaci různými kinázami a vliv fosforylace na její interakce.
Róbert Šándor -
Efekt fosforylace proteinu MAP2c prolinem řízenými kinázami
Václav Dvorský -
Construction of a voxel map of obstacles from sparse beam distance measurements
Samuel Toman -
Regulace energetického metabolizmu lidských pluripotentních kmenových buněk prostřednictvím modulace MAP kinázové a PI3 kinázové signální dráhy
Kateřina Holomková -
Patrolling Games Map Editor
Petr Balnar