機械学習アシストによる並列モデル検査手法についての考察

抄録

ファミリーベースモデル検査は複数の構成の性質を同時に検証する技術だが，スケーラビリティの問題がより顕著となる．その課題に対して，我々は検証モデルを分割し，それらを並列検証する方法を検討している．本稿では，並列検証での分割モデルの順序付けに機械学習を援用する手法について基本的な検討を行う．