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