Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (2003)
- Authors:
- Autor USP: AMORIM, MARCELO DE MOURA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 04.04.2003
-
ABNT
AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 27 fev. 2026. -
APA
Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/ -
NLM
Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 fev. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/ -
Vancouver
Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2026 fev. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
