Disciplina Curricular

Lógica e Verificação de Modelos LVM

Diploma de Estudos Avançados em Segurança de Informação - DEASegInf2007

Contextos

Grupo: DEASegInf2007 > 3º Ciclo > Matemática > Lógica e Computação

Período:

Peso

7.5 (para cálculo da média)

Objectivos

Aplicar lógica na verificação de sistemas de hardware e de software.

Programa

Lógica proposicional. Diagramas de decisão binária. Lógica CTL. Verificação de modelos. Fairness. Caracterização dos operadores CTL como pontos fixos. Outras lógicas temporais. Verificação de sistemas concorrentes e distribuídos. Simulação e bi-simulação de modelos. Lógica de Hoare. Lógica modal e agentes. Lógica dinâmica. Lógica de 1a ordem, teorias decidíveis e aplicações.

Metodologia de avaliação

Projecto (50%) + Exame Final (50%).

Disciplinas Execução

2017/2018 - 1ºSemestre

2016/2017 - 1ºSemestre

2015/2016 - 1º Semestre

2014/2015 - 1º Semestre

2013/2014 - 1 Semestre

2012/2013 - 1 Semestre

2011/2012 - 1 Semestre