Nome da Disciplina
ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS
CÓDIGO
22000317
Carga Horária
60 horas
Atividade Complementar
Não
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%

Ementa

Especificação Formal. Verificação Formal: model-checking e prova de teoremas.

Objetivos

Objetivo Geral:

Apresentar a importância da especificação e verificação formal no desenvolvimento de sistemas confiáveis. Capacitar o aluno a utilizar uma linguagem de especificação formal e aplicar diferentes técnicas de verificação.

Conteúdo Programático

Introdução
• O que são métodos formais
• Importância e aplicabilidade dos métodos formais no desenvolvimento de software
• Classificação de métodos formais
• Técnicas de verificação formal
2. Especificação Formal
• Gramática de Grafos
• Ferramenta Groove
• Linguagem Event-B
• Ferramenta Rodin
• Definição e especificação de um estudo de caso
3. Verificação Formal
• Model-checking
• Prova de Teoremas
• Verificação de propriedades do estudo de caso

Bibliografia

Bibliografia Básica:

Disciplinas Equivalentes

Disciplina Curso
ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS Ciência da Computação (Bacharelado)
ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS Engenharia de Computação (Bacharelado)

Página gerada em 24/06/2019 18:56:56 (consulta levou 0.174687s)