Title: Formalization of Banking Supervision