関連ワード:  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