Verification is a process to check if the input is equal to the output and every input has to have an output. Verification phase has to be in the execution phase since by that time most of the basics are…   Read more»