Opções de inscrição

Modelar linguagens de programação, enunciar propriedades fundamentais, e

prová-las no assistente de provas Coq;  Desenvolver habilidade de engenharia de provas de teoremas em Coq;  Introdução a tópicos de pesquisa em verificação formal de linguagens de

programação.

Grau de Ensino: Graduação
Visitantes não podem acessar este curso. Por favor faça login.