DiVinE: Parallel Distributed Model Checker (Tool paper)

• Authors: BARNAT Jiří; BRIM Luboš; ČEŠKA Milan; ROČKAI Petr
• Year of publication: 2010
• Type: Article in Proceedings
• Conference: Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)
• MU Faculty or unit: Faculty of Informatics

Related projects

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems
• Automated formal verification using modern 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