モデル検査の解説の第二回目です！今回は、モデル検査が活用できる利用場面の紹介です。