Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{589525, author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Šimeček, Pavel}, address = {Lisboa, Portugal}, booktitle = {In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)}, keywords = {distributed; parallel; model-checking}, language = {eng}, location = {Lisboa, Portugal}, pages = {89-94}, publisher = {TU Munchen}, title = {DIVINE - The Distributed Verification Environment}, year = {2005} }
TY - JOUR ID - 589525 AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Šimeček, Pavel PY - 2005 TI - DIVINE - The Distributed Verification Environment PB - TU Munchen CY - Lisboa, Portugal KW - distributed KW - parallel KW - model-checking N2 - 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. ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In \textit{In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)}. Lisboa, Portugal: TU Munchen, 2005, s.~89-94.
|