Busca avançada
Ano de início
Entree

Estendendo a revisão de modelos CTL para modelos parciais de Kripke

Processo: 12/16308-1
Linha de fomento:Auxílio à Pesquisa - Pesquisador Visitante - Brasil
Vigência: 20 de agosto de 2012 - 19 de agosto de 2013
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Pesquisador responsável:Renata Wassermann
Beneficiário:Renata Wassermann
Pesquisador visitante: Aline Maria Santos Andrade
Inst. do pesquisador visitante: Universidade Federal da Bahia (UFBA). Instituto de Matemática, Brasil
Instituição-sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil

Resumo

As estruturas modais de Kripke são modelos adequados para representar sistemas com informações parcias, como especificações de software com requisitos ainda não elicitados e abstração de modelos CTL. As estruturas modais de Kripke são modelos para o Mu-calculus modal e podem ser submetidas à verificação de modelos. Na verificação de modelos quando uma propriedade desejada não é verificada, o modelo deve ser alterado para satisfazer a propriedade. A alteração automática de modelos é um desafio de pesquisa atualmente e existem algumas propostas para alteração de modelos CTL baseadas em revisão e atualização de crenças. Este projeto se propõe a investigar o problema de revisão e atualização sobe estruturas modais de Kripke a partir dos resultados existentes sobre revisão e atualização de modelos CTL. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)