Shreesha G. Bhat

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Face Verification

Distributed Data

Top Venues

Publications

Shreesha G. Bhat, Kartik Nagar
Automating Cutoff-based Verification of Distributed Protocols. FMCAD (2023)
Shreesha G. Bhat, Kartik Nagar
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols. CoRR (2022)
Shreesha G. Bhat, Kartik Nagar
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. DISC (2021)