Nome da Atividade
ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS
CÓDIGO
22000317
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
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
Conteúdo Programático
Bibliografia
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) |