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.

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

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