DIVINE is a software tool for verifying the correctness of discrete distributed systems through LTL model checking and reachability analysis. It is capable of leveraging the collective computing power of multiple computers connected to a network to analyze systems that are too large for conventional sequential tools.
Comments