Văn bản này: Equivalence checking using trace partitioning