Samatulyataone: A Path Based Equivalence Checker

Source to source semantic preserving transformations have been carried out by compiler or several human guided transformations. If the semantics preserving transformations carried out wrongly it gives the software bug. So it is very important to establish equivalence between the original and the counter part. This paper presents a translation validation tool for verifying optimizing and parallelizing code transformations by checking equivalence between two PRES+ models; one corresponds the source program and other corresponds its counterpart.