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
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2009
Identifier:
https://is.muni.cz/th/dlvdw/
Thesis defence
- Date of defence: 12. 1. 2010
- Reader: Mgr. Petr Tobola, Ph.D., prof. Ing. Tomáš Vojnar, Ph.D.
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 InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
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