Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2022-2

Optativas, Métodos Formales

Grupo 7105, 60 lugares. 5 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 10 a 11 P107
Ayudante Valeria Jimeno Villegas ma ju 10 a 11 P107
Ayud. Lab. Valeria Jimeno Villegas vi 14 a 16

 
Primera sesión del curso el lunes 14 febrero 2022 en: https://meet.google.com/xji-asvb-nfn

Classroom code ltcppm6

La modalidad de este curso será determinada por consenso entre alumnos y facilitadores.

UPDATE (4feb22)
el curso será VIRTUAL, siguiendo las observaciones de la coordinación: el salón asignado podría eventualmente utilizarse respetando el protocolo sanitario y en particular el aforo marcado en su momento por el CT.

(Introducción a) Métodos Formales

1. Qué son los Métodos Formales: panorama general, motivación, clasificación y uso.

Para cada uno de los siguientes se revisarán los fundamentos y características principales

2. QuickCheck

3. Frama-C

4. Coq

Requisitos (deseables pero no forzosos)

Lógica Computacional, Lenguajes de Programación, Autómatas y Leng. Formales, Semántica y Verificación, Ingeniería de Software, ...

Evaluación

40 % 5 tareas individuales cuyas fechas de aplicación estarán fijas

40 % 5 o 6 prácticas individuales a entregarse en viernes

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.