Página 1 del anuncio BOLETÍN OFICIAL DEL ESTADO
Núm. 296

Miércoles 10 de diciembre de 2025

Sec. III. Pág. 162643

III. OTRAS DISPOSICIONES

UNIVERSIDADES
25262

Resolución de 24 de noviembre de 2025, de la Universidad Complutense de
Madrid, por la que se publica el plan de estudios de Máster Universitario en
Métodos Formales en Ingeniería Informática/Formal Methods in Computer
Science.

Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo
informe favorable de la Fundación para el Conocimiento madri+d, así como la
autorización de la Comunidad Autónoma de Madrid, y acordado el carácter oficial del
título por Acuerdo de Consejo de Ministros de 7 de octubre de 2025 (publicado en el
BOE de 13 de octubre de 2025), de acuerdo con lo dispuesto en el artículo 26, del Real
Decreto 822/2021, del 28 de septiembre, en el que se establece el procedimiento de
verificación de Planes de Estudios de las enseñanzas oficiales.
Este Rectorado, de conformidad con lo dispuesto en el artículo 8.3 de la Ley
Orgánica 2/2023, de 22 de marzo, del Sistema Universitario, ha resuelto publicar el Plan
de Estudios conducente a la obtención del título del Máster Universitario en Métodos
Formales en Ingeniería Informática/Formal Methods in Computer Science por la
Universidad Complutense de Madrid y la Universidad Politécnica de Madrid.
Madrid, 24 de noviembre de 2025.–El Rector, Joaquín Goyache Goñi.
ANEXO
Plan de Estudios del título del Máster Universitario en Métodos Formales
en Ingeniería Informática/Formal Methods in Computer Science por la Universidad
Complutense de Madrid y la Universidad Politécnica de Madrid
Rama de conocimiento: Ingeniería y Arquitectura
Ámbito de conocimiento: Ingeniería informática y de sistemas
Distribución del Plan de Estudios en créditos ECTS:
Tipo de materia

Créditos ECTS

Obligatorios.

12

Optativos.

36

Prácticas Académicas Externas.
Trabajo de Fin de Máster.
Créditos totales.

Tabla 2.

0
12
60

Esquema del Plan de Estudios:
Materia

Créditos ECTS

Carácter

Métodos Formales Fundamentales/Fundamental Formal Methods.

12

Obligatoria.

Análisis de la corrección de los sistemas/System correctness analysis.

18

Optativa.

Diseño y construcción rigurosa de sistemas/Rigorous systems design and construction.

18

Optativa.

Técnicas especializadas de construcción de sistemas/Specialized techniques in system design.

12

Optativa.

cve: BOE-A-2025-25262
Verificable en https://www.boe.es

Tabla 1.