The Verification-based Analysis of Reliable Multicast Protocol - Tapa blanda

Wu, Yunqing

 
9781288910267: The Verification-based Analysis of Reliable Multicast Protocol
Tapa blanda
ISBN 10: 1288910266 ISBN 13: 9781288910267
Editorial: BiblioScholar, 2013

Sinopsis

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
BiblioScholar
Año de publicación
2013
Idioma
Inglés
ISBN 10 
1288910266
ISBN 13 
9781288910267
Encuadernación
Tapa blanda
Número de páginas
64
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Alemania