Simulation-based 'STRESS' testing case study: a multicast routing protocol

Publisher Website

27 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/mascot.1998.693672

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Protocol Independent Multicast-Sparse Mode (PIM-SM): Protocol Specification
Published by RFC Editor ,1997
Formal methods
ACM Computing Surveys, 1996
Protocol verification using reachability analysis: the state space explosion problem and relief strategies
ACM SIGCOMM Computer Communication Review, 1987