Checking Tool Design of SDL Model Based on SPIN Kernel
Jianwei Wang · Computer Knowledge and Technology · 2010
SDL (Specification and Description Language)is widely applied in the modeling of complex communication protocol and software.Model checking can find out SDL's logic fault and greatly improve its accuracy.The paper has studied the mapping rule between SDL/PR and Promela,which is the input language of the model checker SPIN,and then programmed a SDL model checker SSMC Tool that is based on SPIN kernel.