[en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH

[en] FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH

[pt] Neste trabalho propomos uma arquitetura para a verificação formal de protocolos e algoritmos distribuídos. Esta pode ser vista como uma camada mais abstrata sobre o processo tradicional de verificação formal, onde temos a especificação e propriedade a serem verificadas, o verificador e o r...

Full description

Bibliographic Details
Main Author: CARLOS BAZILIO MARTINS
Other Authors: EDWARD HERMANN HAEUSLER
Language:pt
Published: MAXWELL 2006
Subjects:
[pt] PROTOCOLO
[en] PROTOCOL
[pt] ALGORITIMOS DISTRIBUIDOS
[en] DISTRIBUTED ALGORITHMS
[pt] VERIFICACAO FORMAL
[en] FORMAL VERIFICATION
[pt] ESPECIFICACAO FORMAL
[en] FORMAL SPECIFICATION
Online Access:https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8074@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8074@2
http://doi.org/10.17771/PUCRio.acad.8074

Internet

https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8074@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8074@2
http://doi.org/10.17771/PUCRio.acad.8074

Similar Items