ニュース 2011年7月8日 Polyspace解析技術を搭載した「Simulink Design Verifier 2.0」を発表、MathWorks（関連情報）：Simulinkモデルで自動エラー検出を可能に [八木沢篤，＠IT MONOist] 記事を見る 記事を見る
