Shreesha Bhat

Latest

• Automating Cutoff-based Verification of Distributed Protocols
• Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols