DiVinE: Parallel Distributed Model Checker (Tool paper)
BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA and Petr ROČKAI. DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). 2010, 4 pp. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | DiVinE: Parallel Distributed Model Checker (Tool paper) |
Authors | BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA and Petr ROČKAI. |
Edition | Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), 4 pp. 2010. |
Other information | |
---|---|
Type of outcome | Proceedings paper |
Confidentiality degree | is not subject to a state or trade secret |
Organization unit | Faculty of Informatics |
Tags | International impact, Reviewed |
Changed by | Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:31. |
Links | |
---|---|
GA201/09/1389, research and development project | Name: Verifikace a analýza velmi velkých počítačových systémů |
Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems | |
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 | |
GP201/09/P497, research and development project | Name: Automatizovaná formální verifikace s využitím soudobého hardware |
Investor: Czech Science Foundation, Automated formal verification using modern hardware | |
MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy |
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems | |
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 |
PrintDisplayed: 15/10/2024 18:21