After revising the system, it is necessary to re-verify it with respect to the previously violated requirement. If the requirement is still not satisfied, the whole process needs to be done again. Otherwise, the process ends successfully.