Verificación y Diferenciación

Métodos de verificación y estrategias de diferenciación para detectar problemas a tiempo y probar la paridad.