The Community for Technology Leaders
Green Image
Issue No. 06 - June (2001 vol. 27)
ISSN: 0098-5589
pp: 573-576
ABSTRACT
<p><b>Abstract</b>—We report an error in a verification model in [<ref rid="bibE05734" type="bib">4</ref>] and present a revised model with verification result. Our result explains the reason why SPIN found the race condition in the synchronization algorithm. We also show that the suggested fix in [<ref rid="bibE05734" type="bib">4</ref>] is incorrect.</p>
INDEX TERMS
SPIN, ACSR, LTL, model checking, process scheduling.
CITATION

C. Yoo, J. Choi and K. Bang, "Comments on 'The Model Checker SPIN'," in IEEE Transactions on Software Engineering, vol. 27, no. , pp. 573-576, 2001.
doi:10.1109/32.926177
82 ms
(Ver 3.3 (11022016))