Verification of Open Interactive Markov Chains

D 2012

Verification of Open Interactive Markov Chains

BRÁZDIL, Tomáš, Holger HERMANNS, Jan KRČÁL, Jan KŘETÍNSKÝ, Vojtěch ŘEHÁK et. al.

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

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

References:

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

Abstract

V originále

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

Citovat

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.

@inproceedings{991746,
   author = {Brázdil, Tomáš and Hermanns, Holger and Krčál, Jan and Křetínský, Jan and Řehák, Vojtěch},
   address = {Dagstuhl, Germany},
   booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
   doi = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474},
   editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
   keywords = {IMC;compositional verification;synthesis;time bounded reachability;discretization},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Dagstuhl, Germany},
   isbn = {978-3-939897-47-7},
   pages = {474-485},
   publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   title = {Verification of Open Interactive Markov Chains},
   url = {http://drops.dagstuhl.de/opus/volltexte/2012/3882},
   year = {2012}
}

TY  - JOUR
ID  - 991746
AU  - Brázdil, Tomáš - Hermanns, Holger - Krčál, Jan - Křetínský, Jan - Řehák, Vojtěch
PY  - 2012
TI  - Verification of Open Interactive Markov Chains
PB  - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
CY  - Dagstuhl, Germany
SN  - 9783939897477
KW  - IMC;compositional verification;synthesis;time bounded reachability;discretization
UR  - http://drops.dagstuhl.de/opus/volltexte/2012/3882
N2  - Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
ER  -

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. \textit{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.

Detailed Information on Publication Record