"The verification support method explained in relation to this embodiment can be realized by executing a program prepared on a computer such as a personal computer or a work station." . . . . .