COMPONENTE CURRICULAR

Componente Curricular
MAT567 - INTRODUCAO AOS METODOS FORMAIS
Carga Horária - Total: 51 horas  
TeóricaPráticaEstágioDepartamentoSemestre Vigente
5100Ciência da Computação2004.1
Ementa
Introdução ao desenvolvimento formal de software. Lógica formal; Prova de teorema. Especificação formal e verificação de sistemas em Z. Especificação e validação de processos utilizando CSP; Especificação e validação utilizando técnicas de verificação de modelo com lógica temporal. Utilização de ferramentas para verificação de modelos a exemplo de SPIN.
Programa
Objetivo
Não há Objetivo cadastrado
Conteúdo
Não há Conteúdo cadastrado
Bibliografia
Não há Bibliografia cadastrada


Lista de Turmas
Náo há oferta de turmas para o semestre.