Textmeddelande: Equivalence checking using trace partitioning