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
Octubre / 2025 371 webinars
Lunes
Martes
Miércoles
Jueves
Viernes
Sábado
Domingo
Lun 29 de Octubre de 2025
Mar 30 de Octubre de 2025
Mié 01 de Octubre de 2025
Jue 02 de Octubre de 2025
Vie 03 de Octubre de 2025
Sáb 04 de Octubre de 2025
Dom 05 de Octubre de 2025
Lun 06 de Octubre de 2025
Mar 07 de Octubre de 2025
Mié 08 de Octubre de 2025
Jue 09 de Octubre de 2025
Vie 10 de Octubre de 2025
Sáb 11 de Octubre de 2025
Dom 12 de Octubre de 2025
Lun 13 de Octubre de 2025
Mar 14 de Octubre de 2025
Mié 15 de Octubre de 2025
Jue 16 de Octubre de 2025
Vie 17 de Octubre de 2025
Sáb 18 de Octubre de 2025
Dom 19 de Octubre de 2025
Lun 20 de Octubre de 2025
Mar 21 de Octubre de 2025
Mié 22 de Octubre de 2025
Jue 23 de Octubre de 2025
Vie 24 de Octubre de 2025
Sáb 25 de Octubre de 2025
Dom 26 de Octubre de 2025
Lun 27 de Octubre de 2025
Mar 28 de Octubre de 2025
Mié 29 de Octubre de 2025
Jue 30 de Octubre de 2025
Vie 31 de Octubre de 2025
Sáb 01 de Octubre de 2025
Dom 02 de Octubre de 2025

Publicidad

Lo más leído »

Publicidad

Más Secciones »

Hola Invitado