One of the key new concepts introduced in the most recent version of MISRA C (2012) was the classification of all rules as either decidable or undecidable.

Undecidability is a fundamental limitation that prevents any static analysis tools, no matter how sophisticated, from guaranteeing 100% enforcement of certain types of coding standard rules, or from fully and precisely identifying all instances of particular software defects.

You’ll learn

-The principles behind undecidability

-How undecidability affects static analysis

-How to recognise undecidable rules

-Mechanisms to deal with undecidability

Hora

10:00 - 11:00 hs GMT+1

Organizador

PRQA
Compartir
Enviar a un amigo
Mi email *
Email destinatario *
Comentario *
Repite estos números *
Control de seguridad
Diciembre / 2025 263 webinars
Lunes
Martes
Miércoles
Jueves
Viernes
Sábado
Domingo
Lun 01 de Diciembre de 2025
Mar 02 de Diciembre de 2025
Mié 03 de Diciembre de 2025
Jue 04 de Diciembre de 2025
Vie 05 de Diciembre de 2025
Sáb 06 de Diciembre de 2025
Dom 07 de Diciembre de 2025
Lun 08 de Diciembre de 2025
Mar 09 de Diciembre de 2025
Mié 10 de Diciembre de 2025
Jue 11 de Diciembre de 2025
Vie 12 de Diciembre de 2025
Sáb 13 de Diciembre de 2025
Dom 14 de Diciembre de 2025
Lun 15 de Diciembre de 2025
Mar 16 de Diciembre de 2025
Mié 17 de Diciembre de 2025
Jue 18 de Diciembre de 2025
Vie 19 de Diciembre de 2025
Sáb 20 de Diciembre de 2025
Dom 21 de Diciembre de 2025
Lun 22 de Diciembre de 2025
Mar 23 de Diciembre de 2025
Mié 24 de Diciembre de 2025
Jue 25 de Diciembre de 2025
Vie 26 de Diciembre de 2025
Sáb 27 de Diciembre de 2025
Dom 28 de Diciembre de 2025
Lun 29 de Diciembre de 2025
Mar 30 de Diciembre de 2025
Mié 31 de Diciembre de 2025
Jue 01 de Diciembre de 2025
Vie 02 de Diciembre de 2025
Sáb 03 de Diciembre de 2025
Dom 04 de Diciembre de 2025

Publicidad

Lo más leído »

Publicidad

Más Secciones »

Hola Invitado