Open AccessStudy on Modularized Model Checking Method Based on SPIN
Author(s) -
Xingfeng Li,
Xinchang Zhang,
Meihong Yang,
Yan Bao-ping
Publication year - 2011
Publication title -
dianzi yu xinxi xuebao
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.191
H-Index - 27
ISSN - 1009-5896
DOI - 10.3724/sp.j.1146.2010.00751
Subject(s) - spin (aerodynamics) , model checking , computer science , theoretical physics , physics , engineering , algorithm , aerospace engineering