Fundamentos del software: introducción a la programación verificada y segura

Este curso da una respuesta científica, rigurosa y afirmativa a esta pregunta fundamental, acerca de las posibilidades de construir sistemas informáticos y proporciona las herramientas para su puesta en práctica.

Las sesiones combinarán la exposición de conceptos y su práctica interactiva en Coq, para que los participantes desarrollen el dominio de este lenguaje, con el objetivo de construir un sistema verificado.

El curso está dirigido a ingenieros titulados, investigadores y otros profesionales de las tecnologías de la información. También, a estudiantes de doctorado, máster y cursos avanzados de grado, en particular en informática, matemáticas y disciplinas próximas.

Más información del curso

Compartir: