基于Spin的UML状态图模型检查的设计与实现

基于Spin的UML状态图模型检查的设计与实现

郭伟 ¹,缪力 ¹,张大方 ^1,2,闵应骅 ³

Model checking UML Statechart based on Spin

GUO Wei ¹,MIAO Li ¹,ZHANG Da-fang ^1,2,MIN Ying-hua ³

计算机工程与应用 . 2008, (10): 43 -47 .