Reduction and Abstraction Techniques for Model Checking – Mgr. Radek Pelánek, Ph.D.
Mgr. Radek Pelánek, Ph.D.
Disertační práce
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 …více
Jazyk práce: angličtina
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
- Vedoucí: 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 informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika / Informatika
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 -
Program analysis using interval abstraction and backward refinement
Pavol Mišenko -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová