UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Propriedades de invariância e Acima: Programação Paralela Anterior: Equanimidade

(postscript)

Aula 11 - Modelos Formais: Invariância

• Fontes: [Keller, 1976],[Shankar, 1993]
• Enfoques para a análise e especificação:
  • asserções baseadas em lógica temporal
  • cálculos de Milner (CCS)
• Enfoque adotado: lógica temporal
• Precursores:
  • Floyd [Floyd, 1967]: asserções sobre programas sequenciais
  • Hoare [Hoare, 1969]: formalização como uma lógica
  • Dijkstra [Dijkstra, 1975]: comandos guardados
  • Pnueli[Pnueli, 1979], Manna e Pnueli[Manna and Pnueli, 1981]: lógica temporal
  • Owick e Gries[Owick and Gries, 1976]: não interferência