Mgr. Petr Ročkai, Ph.D.
Advanced ('rigorózní') thesis
Model Checking Software
Model Checking Software
Abstract:
Systémy které navrhujeme se stávají složitějšími a ověřit jejich správnost je často mimo lidských možností. Máme ovšem k dispozici formální metody, díky kterým lze ověřovat správnost systémů, které by jinak byly zcela mimo dosah ručních metod. V současnosti, z mnoha různých důvodů, jsou formální metody aplikovány jen v omezeném počtu případů. Širším cílem navrhované disertace je zlepšit aplikovatelnost …moreAbstract:
The systems we design are increasing in complexity, and it is often beyond human capacity to verify their correctness. Formal methods exist to augment the human verifier with automated tools that can help them ensure correctness of a system that would be far beyond their capabilities to check manually. Nowadays, for a variety of reasons, formal methods are applied only to a very limited number of systems …more
Language used: English
Date on which the thesis was submitted / produced: 8. 11. 2011
Identifier:
https://is.muni.cz/th/d966p/
Thesis defence
- Date of defence: 11. 1. 2012
- Reader: doc. Mgr. Radek Pelánek, Ph.D., RNDr. Ondřej Šerý, 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 / Parallel and Distributed Systems
Theses on a related topic
-
Model Checking Software
Petr Ročkai -
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
Partial Order redukce pro LLVM
Jan Tušil -
Model Checking Software
Petr Ročkai -
Automating Software Development with Explicit Model Checking
Petr Bauch -
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 -
Reduction and Abstraction Techniques for Model Checking
Radek Pelánek -
Distributed State Space Reductions
Pavel Moravec