Gabriela Moreira
MFO
Métodos Formais
Materiais da disciplina
Métodos Formais
Links úteis
Apresentação
Cheatsheet Lógica Temporal (PDF)
Exercícios para a prova
Quint
Getting Started: Quint
Exemplos
TLA+
Getting Started: TLA+
Exemplos
Aulas
Motivação
Programação e matemática não são a mesma coisa
Por que e pra que métodos formais?
Lógica
Estruturas de Kripke
Checando propriedades com Lógica Temporal
Checando propriedades com Lógica Temporal II
Introdução à Lógica Temporal das Ações
Quint
Revisão de programação funcional em Quint
Primeiras Especificações
Jogo da Velha em Quint
TLA+
Introdução ao TLA+
Primeiras Especificações em TLA+
Aplicação
Design de protocolos
Efetivação em Duas Fases
Model checking
Propriedades
Model Checking
TLA+ Avançado
Seminário
Seminário
Trabalho 1
Exercícios Pokemon
Especificar vs Implementar
Trabalho 1
FAQ Trabalho 1
Dicas Trabalho 1
Trabalho 2
Testes
Trabalho 2