@techreport{oai:ipsj.ixsq.nii.ac.jp:00213812,
 author = {和山, 一樹 and 横川, 智教 and 井川, 直 and 有本, 和民},
 issue = {4},
 month = {Nov},
 note = {本論文では，Unreal Engine4 Blueprint（以下，Blueprint）で作成されたゲームプログラムに対してモデル検査を適用するためのモデル化手法について検討を行っている．Blueprint では様々な処理を行うノードを組み合わせることでゲームロジックを視覚的に記述できるが，その規模が大きくなるにつれて，ゲームの進行不可バグなどの不具合を発見・修正することが困難になる．そこで本論文では，形式検証技術であるモデル検査を用いて，ゲームロジックのバグを自動的に検出する．本論文では，Blueprint で作成されたゲームプログラムをモデル検査ツール NuSMV の入力モデルへと変換することで，NuSMV による検証を実現する．適用実験として，Blueprint で作成したゲームプログラムに提案手法を適用してモデル化および NuSMV による検証を行っている．},
 title = {UE4 Blueprintで作成されたゲームプログラムのモデル検査手法の提案},
 year = {2021}
}