Shreesha G. Bhat

Shreesha G. Bhat

PhD Student, UIUC

Publications

You can also find my articles on my Google Scholar profile.

Automating Cutoff-based Verification of Distributed Protocols

Published in Formal Methods in Computer-Aided Design, 2023

Proposes a technique to automatically produce a cutoff-based proof of correctness for distributed protocols

Recommended citation: Bhat, S. G., & Nagar, K. (2023). Automating Cutoff-based Verification of Distributed Protocols. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 75–85). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_15 https://shreesha00.github.io/files/fmcad23.pdf

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

Published in International Symposium on Distributed Computing, 2021

A short paper that highlighted the key ideas underlying the FMCAD23 paper

Recommended citation: Shreesha G. Bhat and Kartik Nagar. Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 48:1-48:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021). https://doi.org/10.4230/LIPIcs.DISC.2021.48 https://shreesha00.github.io/files/disc21.pdf