comprobación estática

Una comprobación automatizada durante la compilación que puede detectar errores en la semántica del código.