These are the materials for Métodos Formais (Formal Methods), a course I taught at UDESC as a temporary lecturer. It covers temporal logic, Quint and TLA+. Everything here is in Portuguese. I keep it online for my former students, and for anyone learning formal methods. It is no longer updated.

Materiais da disciplina de Métodos Formais que ministrei na UDESC. Mantidos aqui como arquivo para quem cursou a disciplina; não são mais atualizados.