Formal Verification in AGI Architecture