This process is called formal equivalence checking and is a problem that is studied under the broader area of formal verification.
Цей процес називається формальною перевіркою еквівалентності, і це проблема, яка вивчається в більш широкій області формальної перевірки.