DagRep.12.12.27.pdf
- Filesize: 1.8 MB
- 27 pages
Document
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 12, Issue 12
Volume: Dagstuhl Reports, Volume 12
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-05-05
Cite As Get 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)
0PDF Downloads