Reduction and Abstraction Techniques for Model Checking – Mgr. Radek Pelánek, Ph.D.
Mgr. Radek Pelánek, Ph.D.
Doctoral thesis
Reduction and Abstraction Techniques for Model Checking
Reduction and Abstraction Techniques for Model Checking
Abstract:
Model checking is an increasingly popular method for verification of safety-critical systems. The main obstacle of this verification method is a state space explosion problem and consequently high computational requirements of model checking algorithms. In order to make the model checking method practically feasible, it is necessary to develop powerful techniques for fighting state space explosion …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 22. 9. 2006
Identifikátor:
https://is.muni.cz/th/xrsgd/
Obhajoba závěrečné práce
- Obhajoba proběhla 22. 9. 2006
- Vedúci: prof. RNDr. Ivana Černá, CSc.
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 InformaticsDoctoral programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
Revisiting State-Space Exploration for RoFI Reconfiguration
Ondřej Svoboda -
Craig's Interpolant in Model Checking Algorithms
Viktória Vozárová -
Symbolic Model Checking via Program Transformations
Henrich Lauko -
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER -
Verification of Name Service Cache Daemon with DIVINE Model Checker
Milan Lenčo -
LLVM Transformations for Model Checking
Vladimír Štill -
The Notion of "Abstraction" and the Medieval Art
Magdalena Daňková -
Program analysis using interval abstraction and backward refinement
Pavol Mišenko