GPU Accelerated Enumerative Model Checking – Mgr. Milan Češka, Ph.D.
Mgr. Milan Češka, Ph.D.
Advanced ('rigorózní') thesis
GPU Accelerated Enumerative Model Checking
GPU Accelerated Enumerative Model Checking
Anotácia:
V posledních letech se formální verifikace a validace stávají důležitou součástí procesu návrhu počítačových systémů. Bohužel, rozdíl mezi složitostí systémů budovaných v praxi a složitostí systémů, se kterými jsou současné verifikační nástroje schopné pracovat, je stále obrovský. Proto jsou jakékoliv techniky dovolující akceleraci verifikačního procesu velmi žádoucí. Jednou z možností, jak zkrátit …viacAbstract:
Throughout the recent years, formal verification and validation became an important part of the design process of computer systems. Unfortunately, the gap between the complexity of systems built in practice and the complexity of systems the current formal verification tools can handle is still quite wide. Therefore, any technique accelerating verification process is mostly desired. A possible way to …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 15. 12. 2009
Identifikátor:
https://is.muni.cz/th/dlvdw/
Obhajoba závěrečné práce
- Obhajoba proběhla 12. 1. 2010
- Oponent: Mgr. Petr Tobola, Ph.D., prof. Ing. Tomáš Vojnar, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
External Memory LTL Model Checking
Pavel Šimeček -
LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
Milan Češka -
Vliv specifikačních automatů na ověřování modelu
Vojtěch Rujbr -
Grafická reprezentace formulí logiky LTL
Michal Keda -
Porovnání nástrojů pro paralelní LTL model checking
Marek Tomáštík -
Verifikační manažer pro explicitní ověřování modelu
Václav Rosecký -
Vytvoření modelu výtahů se sběrným řízením
Ondřej Plotěný -
Refined Büchi automata for faster model checking
Vojtěch Rujbr