I assume financial software has the concept of a set of atomic transactions - ie. "debit bob $X and credit mary $X".

Given that, presumably all buttons an operator clicks should generate a set of atomic transactions between customers and the bank.

An automated system can then check that the total loss to the bank after these transactions have been executed isn't too big.

I can't really imagine how any bit of software didn't have those checks in place...