Gabriela Moreira

MFO

Métodos Formais

Materiais da disciplina

Created using Emacs and org-mode.
Style from The Monospace Web.

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

Seminário

Seminário