Verification-Based Analysis of Reliable Multicast Protocol

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

Автор: Yunqing Wu

Език:

Корици: С меки корици

Издател: Biblioscholar

Наличност: Външен склад

Изпращаме след 14-21 дни

16.03 € 31.36 лв

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

Информация за книгата

Автор

Yunqing Wu

Език

Английски език

Корици

Книга - С меки корици

Издадена

2013

страници

EAN

9781288910267

ISBN

9781288910267

Enbook ID

08286959

Издател

Biblioscholar

Теглоt

132

Размери

189 x 246 x 3

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Verification-Based Analysis of Reliable Multicast Protocol

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също