Objetivo: Estudar a técnica de Verificação de Modelos

Ementa:

1. Introdução a Lógica Modal
2. Lógica Temporal: CTL, LTL, CTL*
3. Verificação de Modelos
   

Bibliografia
 

Avaliação
 
  Duas provas e um trabalho. A média será calculada da seguinte forma [P1 + P2  + T1 ]/ 3

Calendário
 
 
  P1 -  
  P2 - 
  T1 - 

  Lista de Discussão

• Foi criada uma lista de discussão do curso. Para assinar envie mensagem para LogProg-2009-2-subscribe@yahoogrupos.com.br
• Para enviar mensagem na lista é só enviar para LogProg-2009-2@yahoogrupos.com.br

"Downloads"

"Notas de Aula"

1. Lógica Modal,  pdf
   

   2. Verificação de Modelos,  pdf 

    
 
 * última atualização 09/09/09