divine-2.1

DIVINE is a tool for LTL model checking and reachability analysis of discrete distributed systems. The tool is able to efficiently exploit the aggregate computing power of multiple network-interconnected multi-cored workstations in order to deal with extremely large verification tasks.

As such it allows to analyze systems whose size is far beyond the size of systems that can be handled with regular sequential tools.