Formalization of Banking Supervision