Acknowledgments

Content used in the Polyspace^® Code Prover™ documentation is from the MISRA C:2012 coding rules and directives and is © Copyright The MISRA Consortium Limited 2021.

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