Verificación de Software con PDR: Implementación y Evaluación Empírica del Estado del Arte