@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00112694,
 author = {小飼, 敬 and 宮島, 卓巳 and 上田, 賀一 and Kei, Kogai and Takumi, Miyajima and Yoshikazu, Ueda},
 book = {ウィンターワークショップ2015・イン・宜野湾 論文集},
 month = {Jan},
 note = {実践的なモデルに対してモデル検査を適用する場合,状態爆発が発生する可能性が高い.本研究では,検査対象のシステムをいくつかのサデシステムに分割して検証するモデュラ検証の方法とその課題について述べる., A model checking of a practical model might have state explosions since the scale of its model could be large. This study describes our approach, which divide an information control system into subsystems and verify the subsystems.},
 pages = {45--46},
 publisher = {情報処理学会},
 title = {情報制御システムに対するモジュラ検証と課題},
 volume = {2015},
 year = {2015}
}