マスワークス、コード検証の新製品

 マスワークスは、「ポリスペース」製品ファミリとして2種類のコード検証ツール「ポリスペース・コード・プロバー」と「ポリスペース・バグ・ファインダー」を発表した。バグの検出から、コーディングルールのチェック、ランタイムエラーの有無の実証まで、...

ここからは有料記事になります。ログインしてご覧ください。

関連記事