SamaTulyata: An Efficient Path Based Equivalence Checking Tool.

Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal

Browse the full ATVA paper archive.