モデル検査における状態爆発の問題を回避するために、機械学習を用いてモデル検査の結果を予測する手法が提案されている。われわれはこの手法に関し、性質の記述に用いられる検証パターンや機械学習のアルゴリズムが、予測精度に対してどのような影響を持つかを調べている。本稿では、それらの評価結果について報告する。
To avoid the problem of state explosion in model checking, a method has been proposed to predict the results of model checking using machine learning. We are investigating the impact of the validation patterns and machine learning algorithms used to describe the properties on the prediction accuracy of this method. In this paper, we report the results of these evaluations.