Programa
Lógica e Verificação de Modelos
Diploma de Estudos Avançados em Segurança de Informação
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.