La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Reconocimientos

El contenido incluido en la documentación de Polyspace^® Bug Finder™ se basa en las normas y directrices de codificación MISRA C:2012 y está protegido por © Copyright The MISRA Consortium Limited 2021.

MISRA™ y MISRA C™ son marcas registradas de The MISRA Consortium Limited 2021.