Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Function

Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

January, 2024