Las aserciones que son comprobadas en tiempo de compilación reciben el nombre de aserciones estáticas.