Typically, a formal equivalence checking tool will also indicate with great precision at which point there exists a difference between two representations.
Як правило, інструмент перевірки формальної еквівалентності також з великою точністю вказує, у чому полягає різниця між двома представленнями.