Formalização de Teoremas em Assistentes de Prova

XXIX Semana do IME/UFG e VI Seminário de Pesquisa e Pós-Graduação do IME/UFG , Goiânia
Aulas: 06 de Outubro(Quarta-feira) a 08 de Outubro (Sexta-feira)

Informações gerais

Utilizaremos o assistente de provas PVS(versão 7.1), no ambiente integrado para PVS dentro do software VS-Code (VSCode-PVS IDE).
Não é mandatória a instalação do PVS para acompanhar o curso, contudo encorajamos que os participantes façam a instalação do
sistema em suas máquinas para, fora da aula, trabalharem nos exercícios que serão disponibilizados.

Observações:

Programa e Material

Palestrantes


All together