DISC2021 Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification

Full version of the Brief Announcement paper titled "Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols" submitted to the 35th International Symposium on Distributed Computing 2021.