INFO:

コード静的解析ツールのPolyspaceを使ったコード検証作業の効率化、モデルベースデザインプロセスの中での使用方法についてハイライトします。ソフトウェア品質やセキュリティに対する注目が増加するソフトウェアに関する検証作業の効率化に関心のある方にお勧めです。