Francisco Durán,  Francisco Gutiérrez,  Pablo López,  Ernesto 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.

http://cibse.inf.puc-rio.br/CIBSEPapers/pdf_counter.lp?cibse=CIBSE11&file_name=cibse_paper17.pdf

Processando consulta.