Verification of Probabilistic Recursive Sequential Programs – Mgr. Tomáš Brázdil, Ph.D.
Mgr. Tomáš Brázdil, Ph.D.
Rigorózní práce
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 1. 2007
Identifikátor:
https://is.muni.cz/th/olmmy/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 1. 2007
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 informatikyMasarykova univerzita
Fakulta informatikyRigorózní řízení / obor:
Informatika / Informatika