Verification apparatus and verification method

摘要

A variable (0322) is allocated to a statement that designates an event associated with a function call in an assertion (0223). Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable (0322). Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable (0322) at each time on a discrete time series.