Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction.

Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma

Browse the full SRDS paper archive.