License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.4.1
URN: urn:nbn:de:0030-drops-40747
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4074/
Go back to Dagstuhl Reports


Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef
Weitere Beteiligte (Hrsg. etc.): Bernadette Charron-Bost and Stepahn Merz and Andrey Rybalchenko and Josef Widder

Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)

pdf-format:
dagrep_v003_i004_p001_s13141.pdf (0.8 MB)


Abstract

The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed algorithms. In order to tighten the gap between the involved communities, who have been quite separated in the past, the program contained tutorials on the basics of the concerned fields. In addition to technical talks, we also had several discussion sessions, whose goal was to identify the most pressing research challenges. This report describes the program and the outcomes of the seminar.

BibTeX - Entry

@Article{charronbost_et_al:DR:2013:4074,
  author =	{Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder},
  title =	{{Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Bernadette Charron-Bost and Stepahn Merz and Andrey Rybalchenko and Josef Widder},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4074},
  URN =		{urn:nbn:de:0030-drops-40747},
  doi =		{10.4230/DagRep.3.4.1},
  annote =	{Keywords: Distributed algorithms; semi-automated proofs; model checking}
}

Keywords: Distributed algorithms; semi-automated proofs; model checking
Seminar: Dagstuhl Reports, Volume 3, Issue 4
Issue Date: 2013
Date of publication: 30.07.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI