Application of Equivalence Checking in a Loan Origination Process in Banking Industry