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 -
journal of electronics information technology
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom