Publication details
DIVINE 
- The Distributed Verification Environment
| Basic information | |
|---|---|
| Original title: | DIVINE - The Distributed Verification Environment |
| Authors: | Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Šimeček |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ŠIMEČEK, Pavel. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal : TU Munchen, 2005. pp. 89-94. 2005, Lisboa, Portugalsko. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | distributed; parallel; model-checking |
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:
- Automated Verification of Parallel and Distributed Systems
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
