DEVICE AND METHOD FOR STATISTICAL MODEL CHECKING USING HYBIRID TECHNIQUE

摘要

The present invention relates to a statistical model checking device using a hybrid technique and a method thereof. A control unit repeats a sequential probability ratio test until an initial probability critical value is lager than or equal to a change critical value, finishes the sequential probability ratio test if an average reception value is smaller than the reception critical value, and executes a Bayesian interval estimation test if the initial probability critical value is larger than or equal to the change critical value. A storage unit stores the programs of the sequential probability ratio test and the Bayesian interval estimation test.