Document Open Access Logo

Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)

Authors Javier Esparza, Pierre Fraignaud, Anca Muscholl, Sergio Rajsbaum and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.8.5.60.pdf
  • Filesize: 6.14 MB
  • 20 pages

Document Identifiers

Author Details

Javier Esparza
Pierre Fraignaud
Anca Muscholl
Sergio Rajsbaum
and all authors of the abstracts in this report

Cite AsGet BibTex

Javier Esparza, Pierre Fraignaud, Anca Muscholl, and Sergio Rajsbaum. Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). In Dagstuhl Reports, Volume 8, Issue 5, pp. 60-79, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.8.5.60

Abstract

The Dagstuhl Seminar "Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance" took place May 22-25, 2018. Its goal was to strengthen the interaction between researchers from formal methods and from distributed computing, and help the two communities to better identify common research challenges.
Keywords
  • distributed computing
  • distributed systems
  • formal verification

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