Artifact For PLDI 2026 Paper #304 SureDistrib: Verifying Almost-sure Termination of Composite Asynchronous Byzantine Protocols

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao
DOI: 10.5281/zenodo.19616610
Cited by: 1

Abstract

This artifact contains mechanized safety and liveness proofs for an asynchronous byzantine binary agreement algorithm,which is a modified version of the binary agreement algorithm described by Mostefaoui et al. (PODC '14).The mechanization is based on the formal theory described in the paper "SureDistrib: Verifying Almost-sure Termination ofComposite Asynchronous Byzantine Protocols" (PLDI 2026). See README.md for full documentation.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 April 2026