@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00097900,
 author = {小山, 恭平 and 小飼, 敬 and 上田, 賀一 and Kyohei, Oyama and Kei, Kogai and Yoshikazu, Ueday},
 book = {ウィンターワークショップ2014・イン・大洗 論文集},
 month = {Jan},
 note = {モデル検査において，システムを抽象化せずにモデル化すると，多くの場合，状態爆発が生じる．本研究では，情報制御システムを対象としたモデル検査の状態爆発を防ぐために，システムの状態空間から検査項目と関係する範囲のみを探索する手法を検討している．, In order to prevent the state explosion of model checking in information control systems, this study has investigated a method of searching only the range associated with the check items in the state space of the system．},
 pages = {43--44},
 publisher = {情報処理学会},
 title = {情報制御システムのモデル検査における状態爆発対策と課題},
 volume = {2014},
 year = {2014}
}