ＮＥＴｓ　組み込みソフトウエアの検証手法（４）〜今だから学ぶ基礎知識　組み込みソフトウエアの検証手法（４）
日経エレクトロニクス　第919号　2006.2.13

今回はキャッツと福岡知的クラスター研究所，九州大学の３者が共同開発したモデル検査ツール「Ｇａｒａｋａｂｕ」の使いこなし方について解説する。前回取り上げた「センサ・スイッチ」システムやカー・ステレオなどの例題を基に，検証できる性質を説明する。（進藤　智則＝本誌）穴田　啓樹キャッツ　中部事業所　技術マネージャ松本　充広福岡知的クラスター研究所研究員　前回は，形式的手法（フォーマル・メソッド）の一種であ…