Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN

En este trabajo se presenta una especificación del protocolo de comunicación Gnutella para redes Peer-to-Peer. Se realizó un modelo de este protocolo utilizando SPIN, un sistema de verificación automática que incluye algoritmos de comprobación de modelos. Se presentan dos modelos: uno completo, apr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: De Vito, María Cecilia, Osella Massa, Germán Leandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2006
Materias:
Ciencias Informáticas
Distributed Systems
Model checking
Simulation
Verification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22027
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22027
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Distributed Systems
Model checking
Simulation
Verification
spellingShingle Ciencias Informáticas
Distributed Systems
Model checking
Simulation
Verification
De Vito, María Cecilia
Osella Massa, Germán Leandro
Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
topic_facet Ciencias Informáticas
Distributed Systems
Model checking
Simulation
Verification
description En este trabajo se presenta una especificación del protocolo de comunicación Gnutella para redes Peer-to-Peer. Se realizó un modelo de este protocolo utilizando SPIN, un sistema de verificación automática que incluye algoritmos de comprobación de modelos. Se presentan dos modelos: uno completo, apropiado para la simulación del comportamiento de un nodo Gnutella, y otro acotado, que permite comprobar si determinadas propiedades expresadas en LTL (Lógica Temporal Lineal) son ciertas. A manera de ejemplo, dos fórmulas fueron comprobadas en el modelo con el fin de verificarlas.
format Objeto de conferencia
Objeto de conferencia
author De Vito, María Cecilia
Osella Massa, Germán Leandro
author_facet De Vito, María Cecilia
Osella Massa, Germán Leandro
author_sort De Vito, María Cecilia
title Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
title_short Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
title_full Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
title_fullStr Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
title_full_unstemmed Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
title_sort model checking: un modelo del protocolo gnutella : simulación y verificación usando spin
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22027
work_keys_str_mv AT devitomariacecilia modelcheckingunmodelodelprotocolognutellasimulacionyverificacionusandospin
AT osellamassagermanleandro modelcheckingunmodelodelprotocolognutellasimulacionyverificacionusandospin
bdutipo_str Repositorios
_version_ 1764820465350606848

Ejemplares similares