Sorav, BansalShubhani2023-03-162024-10-292023http://10.17.50.146:4000/handle/123456789/43Correlation algorithmCounterexample-guided equivalence checkingThesis