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 …more
Language used: English
Date on which the thesis was submitted / produced: 22. 9. 2006
Identifier:
https://is.muni.cz/th/xrsgd/
Thesis defence
- Date of defence: 22. 9. 2006
- Supervisor: prof. RNDr. Ivana Černá, CSc.
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 InformaticsDoctoral programme / field:
Informatics / Informatics
Theses on a related topic
-
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 -
Efficient Abstraction Refinement for BDD-based SMT Solvers
Tereza Schwarzová -
Abstraction-Based Analysis of Continuous-Time Models in System Biology
Jana Dražanová