Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3. - Feiran Lei; Yihao Zhang; Xuefei Tong; Shuaida Wu; Meng Sun (QRS Companion, 2025)