| Componente Curricular |
|---|
| MATB13 - MÉTODOS FORMAIS |
| Carga Horária - Total: 51 horas | | |
|---|
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
|---|
| 34 | 17 | 0 | Ciência da Computação | 2007.2 |
| Ementa |
|---|
| Conceito de correção de software. Verificação versus validação. Prova formal de programas sequenciais (lógica de Hoare). Verificação de programas concorrentes. Estudo de uma ou mais linguagens de especificação formal de sistemas. Métodos de verificação de software: provadores de teoremas e verificadores de modelos. |
| Programa |
|---|
| Objetivo |
|---|
| Não há Objetivo cadastrado |
| Conteúdo |
|---|
| Não há Conteúdo cadastrado |
| Bibliografia |
|---|
| Não há Bibliografia cadastrada |