Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2024-1

Optativas, Métodos Formales

Grupo 7110, 20 lugares. 8 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi vi 13 a 14 P204
Ayudante Brayan Martínez Santana ma ju 13 a 14 P204
Ayud. Lab. ma 16 a 18 Taller de Lenguajes de Programación

 

Código classroom: 4mjg3ab

https://sites.google.com/ciencias.unam.mx/mformales/material

Introducción a Métodos Formales

Requisitos (deseables)

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

Temario

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

Evaluación (entregas individuales, se puede modificar dependiendo del total de personas inscritas)

40 % Tareas

30 % Prácticas

30 % Proyecto Final

 


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.