Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Christina Rickmann"'
Autor:
Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann, Christina Rickmann, Anke Stüber, Tim Jungnickel, Henning Seidler, Benjamin Bisping, Paul-David Brodmann
Publikováno v:
Interactive Theorem Proving ISBN: 9783319431437
ITP
ITP
The impossibility of distributed consensus with one faulty process is a result with important consequences for real world distributed systems e.g., commits in replicated databases. Since proofs are not immune to faults and even plausible proofs with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0483046db36a4c5766f77d009c5e6846
https://doi.org/10.1007/978-3-319-43144-4_7
https://doi.org/10.1007/978-3-319-43144-4_7
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642334740
IFIP TCS
IFIP TCS
We exhibit a methodology to develop mechanically-checkable parameterized proofs of the correctness of fault-tolerant round-based distributed algorithms in an asynchronous message-passing setting. Motivated by a number of case studies, we sketch how t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff80a4898cbc6058ceddfd4d65c53df7
https://doi.org/10.1007/978-3-642-33475-7_15
https://doi.org/10.1007/978-3-642-33475-7_15