DiVinE: Parallel Distributed Model Checker (Tool paper)
BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA a Petr ROČKAI. DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). 2010, 4 s. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | DiVinE: Parallel Distributed Model Checker (Tool paper) |
Autoři | BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA a Petr ROČKAI. |
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ěnil | Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 2. 2. 2011 09:31. |
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 |
VytisknoutZobrazeno: 12. 10. 2024 08:20