Shubhani2025-01-072023-02-01http://ir.iitd.ac.in/handle/123456789/6335enCorrelation algorithmCounter algorithmSifer algorithmTranslation validatorInvariant inference grammarCounterexample-guided equivalence checkingThesis