A Program Logic for Byzantine-Fault-Tolerant Protocols. - Yuwen Kuang; Hongjin Liang 001; Xinyu Feng 001 (SETTA, 2025)