Title: The specification-based validation of Reliable Multicast Protocol
Subjects: Functional design specifications, Protocol (Computers), Applications programs (Computers), Software development tools, Communication networks, Program verification (Computers), Design analysis