関連ワード:  model checking methods    model validation methods    model testing methods    model verification methods    model-checking techniques based on cumulative residuals    model checking formal methods    how to check model    how to measure model