DiVinE 2.4

• Authors: BARNAT Jiří; BRIM Luboš; ROČKAI Petr
• Year of publication: 2010
• MU Faculty or unit: Faculty of Informatics
• web: http://anna.fi.muni.cz/AS/divine-2.4.tar.gz
• Description: Tool for LTL model checking in distributed memory environment. Tool supports Partial Order Reduction and on-the-fly verification. Tool significantly extends its previous version DiVinE 2.0.

Related projects

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems
• Automated formal verification using modern hardware