CADP and PIM-SM Protocol Analysis
Yongbin Wang · Microelectronics & Computer · 2006
Because the PIM-SM protocol was still classified as experimental, it needs to be developed and perfected. This paper used the formal language LOTOS to describe the models of the PIM-SM protocol. Subsequent, validation and analysis of the models, using CADP tools, was done.