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

19 May 2019

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

3 / 3 papers shown

Title
Revisiting Fast Practical Byzantine Fault Tolerance Ittai Abraham Guy Golan Gueta Dahlia Malkhi Lorenzo Alvisi R. Kotla Jean-Philippe Martin 31 105 0 04 Dec 2017
Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon Giuliano Losa Shmuel Sagiv Sharon Shoham 27 111 0 19 Oct 2017
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms I. Konnov Marijana Lazić H. Veith Josef Widder 18 76 0 18 Aug 2016