Verification of Open Interactive Markov Chains

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch
Year of publication	2012
Type	Article in Proceedings
Conference	IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
MU Faculty or unit	Faculty of Informatics
Citation
Web	http://drops.dagstuhl.de/opus/volltexte/2012/3882
Doi	http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474
Field	Informatics
Keywords	IMC;compositional verification;synthesis;time bounded reachability;discretization
Description	Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
Related projects:	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