Verification of Open Interactive Markov Chains

BRÁZDIL, Tomáš, Holger HERMANNS, Jan KRČÁL, Jan KŘETÍNSKÝ and Vojtěch ŘEHÁK. Verification of Open Interactive Markov Chains. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, p. 474-485. ISBN 978-3-939897-47-7. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.

Basic information

• Original name: Verification of Open Interactive Markov Chains
• Authors: BRÁZDIL, Tomáš (203 Czech Republic, guarantor, belonging to the institution), Holger HERMANNS (276 Germany), Jan KRČÁL (203 Czech Republic, belonging to the institution), Jan KŘETÍNSKÝ (203 Czech Republic, belonging to the institution) and Vojtěch ŘEHÁK (203 Czech Republic, belonging to the institution).
• Edition: Dagstuhl, Germany, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), p. 474-485, 12 pp. 2012.
• Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• Publication form: printed version "print"
• WWW: URL
• RIV identification code: RIV/00216224:14330/12:00057580
• Organization unit: Faculty of Informatics
• ISBN: 978-3-939897-47-7
• Doi: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474
• Keywords in English: IMC;compositional verification;synthesis;time bounded reachability;discretization
• Tags: formela-conference
• Tags: International impact, Reviewed

Abstract

Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization

Links

• GD102/09/H042, research and development project: Name: 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ů

Investor: Czech Science Foundation

• GPP202/12/P612, research and development project: Name: Formální verifikace stochastických systémů s reálným časem (Acronym: Formální verifikace stochastických systémů s reáln)

Investor: Czech Science Foundation

• MUNI/A/0758/2011, interní kód MU: Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)

Investor: Masaryk University, Category A

• MUNI/A/0914/2009, interní kód MU: Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Acronym: SV-FI MAV)

Investor: Masaryk University, Category A