Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3.

Feiran Lei, Yihao Zhang, Xuefei Tong, Shuaida Wu, Meng Sun

Browse the full QRS paper archive.