Publication details
DiVinE 2.4
Authors | |
---|---|
Year of publication | 2010 |
MU Faculty or unit | |
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: |