産業技術総合研究所システム検証研究センター
2005 年 22 巻 1 号 p. 1_77-1_90
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
システム開発における効率的な不具合発見の方法として,モデル検査(model checking)が注目を集めている.本稿では組み込みソフトウェア開発におけるモデル検査の適用事例を紹介し,そこで得られた知見を報告する.そして設計段階での仕様書に対するモデル検査の適用の有効性を示すとともに,問題点や課題を考察する.
すでにアカウントをお持ちの場合 サインインはこちら