Verification of Probabilistic Recursive Sequential Programs – Mgr. Tomáš Brázdil, Ph.D.
Mgr. Tomáš Brázdil, Ph.D.
Advanced ('rigorózní') thesis
Verification of Probabilistic Recursive Sequential Programs
Verification of Probabilistic Recursive Sequential Programs
Abstract:
Probabilistic methods are widely used in the design, analysis, and verification of computer systems that exhibit some kind of uncertainty such as coin-tossing in randomized algorithms, subsystem failures (caused, e.g., by communication errors or bit flips with an empirically evaluated probability), or underspecification in some components of the system. Verification methods have been developed mainly …more
Language used: English
Date on which the thesis was submitted / produced: 30. 1. 2007
Identifier:
https://is.muni.cz/th/olmmy/
Thesis defence
- Date of defence: 30. 1. 2007
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 / Informatics