D 2010

DiVinE: Parallel Distributed Model Checker (Tool paper)

BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA a Petr ROČKAI

Základní údaje

Originální název

DiVinE: Parallel Distributed Model Checker (Tool paper)

Autoři

Vydání

Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), 4 s. 2010

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

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

Organizační jednotka

Fakulta informatiky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 2. 2. 2011 09:31, prof. RNDr. Luboš Brim, CSc.

Návaznosti

GA201/09/1389, projekt VaV
Název: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
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ů
GP201/09/P497, projekt VaV
Název: Automatizovaná formální verifikace s využitím soudobého hardware
Investor: Grantová agentura ČR, Automatizovaná formální verifikace s využitím soudobého hardware
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
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