• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2003.tde-20220712-120534
Documento
Autor
Nome completo
Marcelo de Moura Amorim
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2003
Orientador
 
Título em português
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos de particionamento
Palavras-chave em português
Engenharia De Software
Resumo em português
Neste trabalho, apresentamos uma abordagem para o problema de verificação em `pi¦-calculus. Na nova abordagem são estudadas as vantagens e desvantagens em aplicar sistemas de normalização e técnicas de prova por bi-simulações up-to em algoritmos de verificação baseados na construção de autômatos de transição e no refinamento de partições (partition refinement algorithm). O objetivo é tentar juntar dois trabalhos propostos na literatura de verificação em `pi¦-calculus de maneira a obter vantagens durante o processo. Essa junção consiste em gerarmos os desdobramentos das transições do processo durante a construção do autômato realizando uma verificação sintática entre os estados já atingidos durante o desdobramento. A intenção é de minimizar o número de estados do autômato. Além do possível ganho em compactação do autômato, conseguimos, em alguns casos, reduzir um passo necessário na construção do autômato, no qual se faz necessário encontrar os nomes ativos de um processo. Durante este trabalho de pesquisa, a junção das duas técnicas foi implementada em um protótipo. Seções de testes e exemplos utilizando este protótipo são apresentadas
 
Título em inglês
not available
Resumo em inglês
not available
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
AmorimMarceloMoura.pdf (14.96 Mbytes)
Data de Publicação
2022-07-13
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores.
CeTI-SC/STI
© 2001-2024. Biblioteca Digital de Teses e Dissertações da USP.