Parthasarathy, Gaurav

1. Formally Validating a Practical Verification Condition Generator (extended version)
   2021/05/29 by Parthasarathy, Gaurav, Müller, Peter, Summers, Alexander J. · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
   2024/04/04 by G. Parthasarathy, Parthasarathy, Gaurav, Thibault Dardinier +7 · 3 citations
   Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems