Outro material

Artigos relacionados
Métodos Formais
Formal Methods, E. Clarke
Wiki

Model Checking
  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

Lógica de Hoare
  1. Specification and Verification I, Mike Gordon
Ligações
Model checking

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

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