Mohlo by sa vám tiež páčiť

Viac informácií o knihe Verification-Based Analysis of Reliable Multicast Protocol

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 38 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Society & social sciences Education

• Celý názov: Verification-Based Analysis of Reliable Multicast Protocol
• Autor: Yunqing Wu
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 64
• EAN: 9781288910267
• ISBN: 9781288910267
• ID: 08286959
• Nakladateľ: Biblioscholar
• Hmotnosť: 132 g
• Rozmery: 246 × 189 × 3 mm
• Dátum vydania: 12. March 2013

Obľúbené z iného súdka

---

---

---