Patent ID: 8407636

Claim:
A computer-readable, non-transitory medium storing therein a verification support program that causes a computer to execute a procedure, the procedure, when executed, comprising: first detecting a state change in a circuit and occurring when input data is given to the circuit; second detecting a state change in the circuit and occurring when the input data partially altered is given to the circuit; determining whether a difference exists between a series of state changes detected at the first detecting and a series of state changes detected at the second detecting; outputting a determination result obtained at the determining; first retaining, sequentially, a state in the circuit each time a state change is detected at the first detecting; and second retaining, sequentially, the state in the circuit each time a state change is detected at the second detecting, wherein the determining is executed to determine, in order of retained states, whether a difference exists between each state retained at the first retaining and each state retained at the second retaining, and the outputting includes outputting a determination result obtained at the determining.