Métodos Formais

Introdução ao TLA+ — Notas

Notas do vídeo Introduction to TLA+, de Leslie Lamport. O que é TLA+? Uma linguagem para modelar, em alto nível, as partes críticas de sistemas digitais. Foi …