Checks the model to see whether or not all the activities are not connected properly. If they are not (for example, an unconnected Generate activity) the verification process will alert you to this fact. When verification is done before running a simulation and discovers any such potential errors, SIMPROCESS will allow you to decide whether to proceed with running the simulation.