Verification-Based Analysis of Reliable Multicast Protocol

Name: Verification-Based Analysis of Reliable Multicast Protocol
Brand: Biblioscholar
SKU: 9781288910267
Price: 68.68 PLN
Availability: InStock

Autor: Yunqing Wu

Język:

Oprawa: Miękka

Wydawca: Biblioscholar

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

68.68 zł

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally order...

Informacje o książce

Autor

Yunqing Wu

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

EAN

9781288910267

ISBN

9781288910267

Enbook ID

08286959

Wydawca

Biblioscholar

Waga

132

Wymiary

189 x 246 x 3

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Verification-Based Analysis of Reliable Multicast Protocol

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również