PR
NII湘南会議の会場である湘南国際村センター
NII湘南会議の会場である湘南国際村センター
[画像のクリックで拡大表示]

　組み込みシステムの検証の効率化に向けて、産業界と世界の研究者が動き始めた。システムのモデルが仕様通りかを網羅的に検証する技術「形式検証（モデル検査）」を、コンポーネントレベルだけでなくシステム全体に適用できるようにしようとする動きだ。