Verification-Based Analysis of Reliable Multicast Protocol

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

Autor: Yunqing Wu

Jazyk:

Vazba: Brožovaná

Vydavatel: Biblioscholar

Dostupnost: Skladem u dodavatele

Odesíláme za 14-21 dnů

369 Kč

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

Informace o knize

Autor

Yunqing Wu

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2013

Stránek

EAN

9781288910267

ISBN

9781288910267

Enbook ID

08286959

Vydavatel

Biblioscholar

Hmotnost

132

Rozměry

189 x 246 x 3

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Verification-Based Analysis of Reliable Multicast Protocol

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také