DIVINE - The Distributed Verification Environment

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ŠIMEČEK Pavel

Year of publication 2005
Type Article in Proceedings
Conference In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords distributed; parallel; model-checking
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.