Verification of Open Interactive Markov Chains

Varování

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

Autoři	BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch
Rok publikování	2012
Druh	Článek ve sborníku
Konference	IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://drops.dagstuhl.de/opus/volltexte/2012/3882
Doi	http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474
Obor	Informatika
Klíčová slova	IMC;compositional verification;synthesis;time bounded reachability;discretization
Popis	Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
Související projekty:	Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace Formální verifikace stochastických systémů s reálným časem Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity