• 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
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2003.tde-20220712-120534
Document
Auteur
Nom complet
Marcelo de Moura Amorim
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2003
Directeur
Titre en portugais
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos de particionamento
Mots-clés en portugais
Engenharia De Software
Resumé en portugais
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
Titre en anglais
not available
Resumé en anglais
not available
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
AmorimMarceloMoura.pdf (14.96 Mbytes)
Date de Publication
2022-07-13
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2022. Tous droits réservés.