Duilio @ Linux-IME

Log 1

05/05 - Melhorias no site
05/05 - Continuação do estudo de Modelos
06/05 - Leitura sobre dinânmicas de Crenças pelo livro (I). TODO: terminar capítulo até o fim de semana
07/05 - Adicionada a seção de referências do site
09/05 - Reunião com o Paulo. TODO: Estudar o Framework e analisar a parte de leitura/satisfabilidade.
20/05 - Releitura da tese do Renato para estudar a estrutura do Framework.
29/05 - Reunião com a prof. Renata. TODO: Continuar o estudo do Framework; Procurar por programas e algoritmos já feitos na área de CTL.

Log 2

02/06 - Adição de referências no site.
17/06 - Início da pesquisa por implementações de algorítmos sobre lógica CTL. Há várias sugestões de algorímos, porém poucas implementaçõs.
18/06 - Continuação da pesquisa sobre implementações de algorítmos sobre CTL.
18/06 - Criado um arquivo de texto para auxiliar a localização das pastas do Framework.
19/06 - Continuação dos estudos do Framework e ampliação do arquivo mencionado acima.
21/06 - Adicionadas mais referências.
21/06 - Continuação dos estudos sobre o framework.
23/06 - Continuação dos estudos sobre o framework.
23/06 - Uma pequena inconsistência foi encontrada nos arquivos de teste. Verificar mais a dundo depois.
25/06 - Continuação dos estudos sobre o framework.

Log 3

23/07 - Reunião com o Paulo. TODO: terminar a análise do framework e estudar o NuSMV.
30/07 - Continuação da análise do framework.
(3-9)/08 - Estudo sobre o NuSMV e do bcontractor.
11/08 - Reunião com o Paulo e com a Renata. TODO: Estudar e fazer exemplos simples no NuSMV e no bcontractor.
(14-17)/08 - Estudo e criação de exemplos do NuSMV. TODO: Continuar tentando gerar exemplos do bcontractor.
(25-31)/08 - Montagem do esqueleto da monografia e montagem de exemplos do bcontractor.

Log 4

02/09 - Estudo sobre maven.
(03-12)/09 - Implementação de modificações no bcontractor.
15/09 - Continuação da montagem da monografia.
(18-21)/09 - Estudo de partes do bcontractor.
22/09 - Reunião com o Paulo. TODO: Verificar formatos de saida do bcontractor para Partial Meet ou Kernel contraction.
(23-28)/09 - Modificações na monografia e no bcontractor.
28/09 - Pequenas modificações no site.