DIVINE - The Distributed Verification Environment
Jǐŕı Barnat, Luboš Brim, Ivana Černá, Pavel Šimeček · 2005
We present basic concepts and the current state of a general distributed verification environment (DiVinE). The environment is meant to support the development of distributed enumerative model checking algortihms, to enable unified and credible comparison of these algorithms, and to make the distributed verification available for public use in a form of a distributed verification tool.