@techreport{oai:ipsj.ixsq.nii.ac.jp:00237376,
 author = {水本, 拓海 and 横川, 智教 and 天嵜, 聡介 and 阿萬, 裕久 and 有本, 和民},
 issue = {22},
 month = {Jul},
 note = {産業界におけるモデル検査の利活用を促進するため，これまでに我々はビジュアルプログラミングを利用したモデル生成支援環境の開発を行ってきた．この環境では，ノードグラフ形式のビジュアルプログラミング環境である Node-RED を拡張することで，モデル検査ツール nuXmv の入力モデルを自動的に生成できる．本研究では，モデル検査の初学者を対象としたユーザビリティテストを通して，nuXmv のモデルを人手で作成した場合と比較しての開発した支援環境の有用性の評価を行った．},
 title = {ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価},
 year = {2024}
}