Estimadas y estimados estudiantes,
Bienvenidos al curso Construcción Formal de Programas en Teoría de Tipos (CFPTT), que aborda una introducción a la especificación y al análisis formal (verificación y síntesis) de programas, con especial énfasis en sistemas críticos.
Este curso tiene modalidad taller, con entrega de ejercicios seleccionados de los prácticos, a través del EVA. En la evaluación se contemplan además dos parciales presenciales.
CFPTT se desarrollará en formato virtual (remoto). Ver en "coordenadas de acceso a la sala Zoom" el link a usar para las clases de los días martes a la hora 18. La primera clase será el martes 8/8/23.
Pueden ir viendo el material que ya éstá accesible y la herramienta que usaremos a lo largo del curso (el asistente Coq), que está disponible para descarga en varias platafrmas.
Nos vemos el martes 8/8 a la hora 18 por Zoom.
Saludos,
Gustavo y Carlos