Quantitative Probabilistic Verification in Distributed Environment – Bc. Jiří Appl
Bc. Jiří Appl
Master's thesis
Quantitative Probabilistic Verification in Distributed Environment
Quantitative Probabilistic Verification in Distributed Environment
Abstract:
The goal of this thesis is to contribute to the practical probabilistic verification by implementing a reliable, distributed model checking tool for quantitative analysis. We focus on systems modeled by Markov decision processes which combine the best of both nondeterministic and probabilistic models. The checked properties are expressed with use of linear temporal logic. The tool is able to determine …moreAbstract:
The goal of this thesis is to contribute to the practical probabilistic verification by implementing a reliable, distributed model checking tool for quantitative analysis. We focus on systems modeled by Markov decision processes which combine the best of both nondeterministic and probabilistic models. The checked properties are expressed with use of linear temporal logic. The tool is able to determine …more
Language used: English
Date on which the thesis was submitted / produced: 30. 5. 2011
Identifier:
https://is.muni.cz/th/hrhwt/
Thesis defence
- Date of defence: 30. 6. 2011
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: 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 InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
DiVinE - Prostředí pro distribuovanou verifikaci
Pavel Šimeček -
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Temporal attribute implications
Jan TŘÍSKA -
Quantitative Linear-Time Model Checking
Jana Tůmová