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
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 30. 5. 2011
Identifikátor:
https://is.muni.cz/th/hrhwt/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 6. 2011
- Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: prof. RNDr. Ivana Černá, CSc.
Citační záznam
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 InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems
Práce na příbuzné téma
-
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 -
Almost linear Bűchi automata
Tomáš Babiak