Verification and handle of exceptions