On the Formal Analysis of P2P Algorithms with

Francisco DuránFrancisco GutiérrezPablo LópezErnesto Pimentel

SMoL is a high-level abstract specification language for P2P systems, expressive enough to capture most of the P2P application features, and with a precise semantics that makes it susceptible of analyzing a wide range of properties. A Maude implementation of SMoL allows us to perform automated software verification through a family of formal tools based on rewriting logic. In this paper, we propose an approach based on SMoL to construct reliable software for P2P systems, and we illustrate its capabilities by considering the Optimal Geographical Density Control algorithm for wireless sensor networks as a case study.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: