DiVinE Cuda

• Authors: BARNAT Jiří; BRIM Luboš; BAUCH Petr; ČEŠKA Milan; LAMR Tomáš
• Year of publication: 2009
• MU Faculty or unit: Faculty of Informatics
• Web: http://divine.fi.muni.cz/page.php?page=divine-cuda
• Description: New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie.

Related projects

• Techniques for automatic verification and validation of software nad hardware systems
• 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ů