ＮＥＴｓ〜組み込みソフトウエアの検証手法（３）
日経エレクトロニクス　第918号　2006.1.30

この記事の情報
掲載誌	日経エレクトロニクス　第918号（2006.1.30）
ページ数	5ページ　（全5368字）
形式	PDFファイル形式　（359kb）
雑誌掲載位置	138〜142ページ目

前回までは，組み込みソフトウエア向けの検証手法について概観した。今回はその中でも特に最近注目を浴びている形式検証の１つ，モデル検査について解説する。連載を担当する筆者のキャッツと福岡知的クラスター研究所が開発したツールを軸に語ってもらう。（進藤　智則＝本誌）穴田　啓樹キャッツ　中部事業所　技術マネージャ松本　充広福岡知的クラスター研究所　研究員　前回までは，レビューやテストなど組み込みソフトウエア…