Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Analýza a predikce chování náhodnostních sekvenčních programů s rekurzí
Autoři	BRÁZDIL Tomáš ESPARZA Javier KUČERA Antonín
Rok publikování	2005
Druh	Článek ve sborníku
Konference	Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Probabilistic Pushdown Automata; Infinite Markov Chains; Quantitative Analysis
Popis	Zavedeme třídu limitních vlastností Markovových řetězců, které umožňují formulovat řadu požadavků na výkon a spolehlivost systémů, které jsou těmito řetězci popsány. Dokážeme, že tyto vlastnosti jsou algoritmicky ověřitelné pro řetězce generované náhodnostními programy s rekurzivními procedurami. Rovněž ukážeme, jak lze tyto vlastnosti předvídat na základě konečného prefixu daného běhu.
Související projekty:	Verifikace nekonečně stavových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy