DIVINE - The Distributed Verification Environment
| Authors | |
|---|---|
| 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 | |
| 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: |