The Community for Technology Leaders
Green Image
Issue No. 06 - June (2001 vol. 27)
ISSN: 0098-5589
pp: 573-576
<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>
SPIN, ACSR, LTL, model checking, process scheduling.

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.
91 ms
(Ver 3.3 (11022016))