DiVinE: Parallel Distributed Model Checker (Tool paper)

• Autoři: BARNAT Jiří; BRIM Luboš; ČEŠKA Milan; ROČKAI Petr
• Rok publikování: 2010
• Druh: Článek ve sborníku
• Konference: Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů
• Automatizovaná formální verifikace s využitím soudobého hardware
• 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ů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace