Verificación automática de programas

Objetivo: Desarrollar una herramienta para la evaluación automática de programas escritos en lenguajes C y Pascal.

Descripción: El tema consiste en desarrollar una herramienta que permita evaluar programas al contrastar su comportamiento con respecto a programas que realizan las mismas funciones y se sabe que lo hacen correctamente. Se requiere el desarrollo de la aplicación para uso en Internet.

Duración: 6 meses


Carlos CASTRO
Last modified: Fri Oct 12 17:55:40 MEST 2001