【ESEC】キャッツが九大らと共同で組み込みソフトの形式検証ツールを開発

　組み込みソフトウエア向けCASEツール大手のキャッツは，九州大学や福岡県産業・科学技術振興財団らと共同で，組み込みソフトウエアの形式検証ツールを開発した。従来，形式検証を行うには，専用の言語でソフトウエアの仕様を記述する必要があったが，今回のツールでは状態遷移表を記述するたけで，形式検証が可能になるという。