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.

Základní údaje

Originální název

Verification of Open Interactive Markov Chains

Autoři

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

Vydání

Dagstuhl, Germany, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), od s. 474-485, 12 s. 2012

Nakladatel

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

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

Forma vydání

tištěná verze "print"

Odkazy

URL

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00057580

Organizační jednotka

Fakulta informatiky

ISBN

978-3-939897-47-7

DOI

https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474

Klíčová slova anglicky

IMC;compositional verification;synthesis;time bounded reachability;discretization

Štítky

formela-conference

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 9. 4. 2013 17:57, doc. RNDr. Vojtěch Řehák, Ph.D.

Anotace

V originále

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

Návaznosti

GD102/09/H042, projekt VaV

Název: 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: Grantová agentura ČR, 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ů

GPP202/12/P612, projekt VaV

Název: Formální verifikace stochastických systémů s reálným časem (Akronym: Formální verifikace stochastických systémů s reáln)

Investor: Grantová agentura ČR, Formální verifikace stochastických systémů s reálným časem

MUNI/A/0758/2011, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

MUNI/A/0914/2009, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BRÁZDIL, Tomáš; Holger HERMANNS; Jan KRČÁL; Jan KŘETÍNSKÝ a 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, s. 474-485. ISBN 978-3-939897-47-7. Dostupné z: https://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 = {https://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  - CONF
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Ý a 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, s.~474-485. ISBN~978-3-939897-47-7. Dostupné z: https://doi.org/10.4230/LIPIcs.FSTTCS.2012.474.

Přehled o publikaci