Componente Curricular |
---|
MAT567 - INTRODUCAO AOS METODOS FORMAIS |
Carga Horária - Total: 51 horas | | |
---|
Teórica | Prática | Estágio | Departamento | Semestre Vigente |
---|
51 | 0 | 0 | Ciência da Computação | 2004.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 |