Outro material

1. Dijkstra Home page, autor do livro A Discipline of programming (1976), onde é introduzida a noção de pré-condições fracas (wp).

1. Especificação de padrões, para propriedades de sistemas de transições
2. Model Checking at CMU
3. Moshe Vardi homepage

1. Specification and Verification I, Mike Gordon

1. Automatic Verification of Sequential Control Systems using Temporal Logic, artigo em que é apresentado um algoritmo de model checking para CTL.
2. Model Checking, E. Clarke
3. Automata-Theoretic Approach to LTL, M. Vardi
4. Automata-Theoretic Approach to CTL