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.