• En este segundo corte avanzaremos en el estudio de la verificación formal de programas, fortaleciendo la capacidad para analizar si un programa cumple las condiciones y propiedades especificadas.

    Para este propósito, cada grupo tendrá asignado un tema de exposición relacionado con la Unidad 3 y los capítulos 5, 6 y 7.

    Durante la exposición, cada grupo deberá investigar, explicar y aplicar el tema asignado, incluyendo conceptos fundamentales, ejemplos y una aplicación práctica relacionada con el desarrollo formal de software y, cuando sea pertinente, con el proyecto del curso.

    En el documento adjunto encontrarán:

    • Temas asignados.
    • Unidad y capítulo correspondiente.
    • Orientaciones sobre qué investigar.
    • Estructura sugerida para los 15 minutos.
    • Recomendaciones para preparar la exposición.
    • Rúbrica de evaluación.

    Los invito a preparar la exposición no solo para presentar información, sino para comprender el tema, explicarlo con claridad y demostrar cómo se aplica al desarrollo formal de software.