08332 Executive Summary – Distributed Verification and Grid Computing

Bal, Henri E.; Brim, Lubos; Leucker, Martin

doi:10.4230/DagSemProc.08332.2

Document

08332 Executive Summary – Distributed Verification and Grid Computing

Authors Henri E. Bal, Lubos Brim, Martin Leucker

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8332
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-10-30

PDF

File

PDF

DagSemProc.08332.2.pdf

Filesize: 77 kB
2 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08332.2
URN: urn:nbn:de:0030-drops-16329

Subject Classification

Keywords

Grid computing
verification
parallel computing
model checking

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

The Dagstuhl Seminar on Distributed Verification and Grid
  Computing took place from 10.08.2008 to 14.08.2008 and brought
together two groups of researchers to discuss their recent work and
recent trends related to parallel verification of large scale computer
systems on large scale grids. In total, 29 experts from 12 countries
attended the seminar.

Cite As Get BibTex

Henri E. Bal, Lubos Brim, and Martin Leucker. 08332 Executive Summary – Distributed Verification and Grid Computing. In Distributed Verification and Grid Computing. Dagstuhl Seminar Proceedings, Volume 8332, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.08332.2

Author Details

Henri E. Bal

Lubos Brim

Martin Leucker

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail