License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.OPODIS.2021.1
URN: urn:nbn:de:0030-drops-157767
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/15776/
Go to the corresponding LIPIcs Volume Portal

Bertrand, Nathalie

Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)

pdf-format:
LIPIcs-OPODIS-2021-1.pdf (0.3 MB)

Abstract

Distributed computing is increasingly spreading, in advanced technological applications as well as in our daily life. Failures in distributed algorithms can have important human and financial consequences, so that is is crucial to develop rigorous techniques to verify their correctness. Model checking is a model-based approach to formal verification, dating back the 80’s. It has been successfully applied first to hardware, and later to software verification.
Distributed computing raises new challenges for the model checking community, and calls for the development of new verification techniques and tools. In particular, the parameterized verification paradigm is nowadays blooming to help proving automatically the correctness of distributed algorithms. In this invited talk, we present recent parameterized verification developments to automatically prove properties of some classical distributed algorithms.

BibTeX - Entry

@InProceedings{bertrand:LIPIcs.OPODIS.2021.1,
  author =	{Bertrand, Nathalie},
  title =	{{Distributed Algorithms: A Challenging Playground for Model Checking}},
  booktitle =	{25th International Conference on Principles of Distributed Systems (OPODIS 2021)},
  pages =	{1:1--1:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-219-8},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{217},
  editor =	{Bramas, Quentin and Gramoli, Vincent and Milani, Alessia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2022/15776},
  URN =		{urn:nbn:de:0030-drops-157767},
  doi =		{10.4230/LIPIcs.OPODIS.2021.1},
  annote =	{Keywords: Verification, Distributed algorithms}
}

Keywords: Verification, Distributed algorithms
Collection: 25th International Conference on Principles of Distributed Systems (OPODIS 2021)
Issue Date: 2022
Date of publication: 28.02.2022

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI