PI-calculus Modeling of Multicast Protocol Verified with MWB
Li Xiang · Computer Engineering and Science · 2008
MWB is a model checking tool based on PI-calculus.In this paper we make a three-layered model for the PIM_SM protocol of multicast with PI-calculus and verify it,and mainly check the inoculation and pruning in the PIM-SM protocol.We also discuss the technique of PI-calculus modeling and how to use the MWB tool to check models.