Automating and Mechanizing Cutoff-based Verification of Distributed Protocols

Shreesha G. Bhat, Kartik Nagar

Distributed protocols are generally parametric and can be executed on a system with any number of nodes, and hence proving their correctness becomes an infinite state verification…