El curso Análisis Estático de Programas está a cargo del Mg. Claudio Vaucheret y tiene como objetivo que el estudiante conozca herramientas de depuración de programas y de desarrollo de software tanto en sus fundamentos como en casos de estudio utilizando preprocesamientos que deducen estáticamente las propiedades de los programas.