The key characteristics of MASM are veri ed and validated through the model checking technique.

• 利用模型检测技术，建立了验证模型关键属性的方法；