Teorica 6 - Intro a Validacion y Verificacion