Las aserciones suelen ser útiles para especificar programas y para razonar la corrección de los mismos.