Gabriela Moreira
MFO
Métodos Formais
Materiais da disciplina
Métodos Formais
Links úteis
Apresentação
Cheatsheet Lógica Temporal (PDF)
Getting Started: Quint
Getting Started: TLA+
Exercícios para a prova
Aulas
Programação e matemática não são a mesma coisa
Estruturas de Kripke
Checando propriedades com Lógica Temporal
Checando propriedades com Lógica Temporal II
Por que e pra que métodos formais?
Introdução à Lógica Temporal das Ações
Revisão de programação funcional em Quint
Primeiras Especificações
Seminário
Seminário