Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

Authors Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.12.12.27.pdf
  • Filesize: 1.8 MB
  • 27 pages

Document Identifiers

Author Details

Hagit Attiya
  • Technion - Haifa, IL
Constantin Enea
  • Ecole Polytechnique - Palaiseau, FR & CNRS - Palaiseau, FR
Sergio Rajsbaum
  • National Autonomous University of Mexico, MX, on leave at IRIF, Paris, FR
Ana Sokolova
  • University of Salzburg, AT
and all authors of the abstracts in this report

Cite AsGet BibTex

Hagit Attiya, Constantin Enea, Sergio Rajsbaum, and Ana Sokolova. Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). In Dagstuhl Reports, Volume 12, Issue 12, pp. 27-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/DagRep.12.12.27

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Distributed Computing: Stronger Together", held in December 2022.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
  • Theory of computation → Verification by model checking
  • Software and its engineering → Formal methods
Keywords
  • automated verification and reasoning
  • concurrent data structures and transactions
  • distributed algorithms
  • large-scale replication

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail