Verification of Open Interactive Markov Chains

• 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
• 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