このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

謝辞

Polyspace^® Code Prover™ のドキュメントで使用されている内容は MISRA C:2012 のコーディング ルールと命令に関するものです。© Copyright The MISRA Consortium Limited 2021.

MISRA™ and MISRA C™ are registered trademarks of The MISRA Consortium Limited 2021.