LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols. - Longfei Qiu; Jingqi Xiao; Ji-Yong Shin; Zhong Shao 001 (Proc. ACM Program. Lang., 2025)