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áš (203 Česká republika, garant, domácí), Holger HERMANNS (276 Německo), Jan KRČÁL (203 Česká republika, domácí), Jan KŘETÍNSKÝ (203 Česká republika, domácí) a Vojtěch ŘEHÁK (203 Česká republika, domácí)

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

Kód RIV

RIV/00216224:14330/12:00057580

Organizační jednotka

Fakulta informatiky

ISBN

978-3-939897-47-7

DOI

http://dx.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
Zobrazeno: 11. 11. 2024 01:44