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

Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham

Browse the full CAV paper archive.