Financial Protocol Verification