株式会社日立製作所(執行役社長:中西 宏明／以下、日立)と日立オートモティブシステムズ株式会社(取締役会長兼CEO:大沼 邦彦／以下、日立オートモティブシステムズ)はこのたび共同で、自動車制御システムの品質を向上させるための、形式手法を用いた高信頼ソフトウェア検査技術を開発しました。形式手法は、要求仕様と設計をそれぞれ数学的に記述し、両者の違いを比較することにより、設計が要求仕様を満たすかどうかを厳密に検査する技術です。
http://www.hitachi.co.jp/New/cnews/month/2013/04/0416a.html