Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics-Reference-Cited by-同舟云学术

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics

Published:2019 Issue: Volume: Page:245-266
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Berkovits Idan,Lazić Marijana,Losa Giuliano,Padon Oded,Shoham Sharon

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-25543-5_15

Reference44 articles.

1. Abraham, I., Gueta, G., Malkhi, D., Alvisi, L., Kotla, R., Martin, J.P.: Revisiting Fast Practical Byzantine Fault Tolerance (2017)

2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);K Bansal,2016

3. Berkovits, I., Lazić, M., Losa, G., Padon, O., Shoham, S.: Verification of threshold-based distributed algorithms by decomposition to decidable logics. CoRR abs/1905.07805 (2019). http://arxiv.org/abs/1905.07805

4. Bertrand, N., Konnov, I., Lazic, M., Widder, J.: Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries. HAL hal-01925533, November 2018. https://hal.inria.fr/hal-01925533

5. Lecture Notes in Computer Science;L Moura de,2008

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs;Proceedings of the ACM on Programming Languages;2024-06-20

2. AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects;Proceedings of the ACM on Programming Languages;2024-04-29

3. Formally Verifying a Rollback-Prevention Protocol for TEEs;Lecture Notes in Computer Science;2024

4. mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic;Lecture Notes in Computer Science;2024

5. Message Chains for Distributed System Verification;Proceedings of the ACM on Programming Languages;2023-10-16