Efficient Formal Verification in Banking Processes