@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00097901,
 author = {小飼, 敬 and 宮島, 卓巳 and 小山, 恭平 and 上田, 賀一 and Kei, Kogai and Takumi, Miyajima and Kyohei, Oyamay and Yoshikazu, Ueday},
 book = {ウィンターワークショップ2014・イン・大洗 論文集},
 month = {Jan},
 note = {モデル検査の状態爆発の対策として，情報制御システムを相互関係があるサブシステムごとに分割して検証モデル化を行い，部分モデル間の相互関係に関する情報を検証モデルの外部で管理し，検証を行う方法とその課題について述べる．, As a countermeasure of state explosion of model checking, our approach makes models to interrelated each subsystem, and manages the correlations between the models outside of model checking. This study describes the problems of our approach.},
 pages = {45--46},
 publisher = {情報処理学会},
 title = {情報制御システムのモデル検査に対する分割アプローチと課題},
 volume = {2014},
 year = {2014}
}