Citation
Ks. Bang et al., Comments on "The model checker SPIN", IEEE SOFT E, 27(6), 2001, pp. 573-576
Citations number
7
Categorie Soggetti
Computer Science & Engineering
Journal title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
ISSN journal
00985589
→ ACNP
Volume
27
Issue
6
Year of publication
2001
Pages
573 - 576
Database
ISI
SICI code
0098-5589(200106)27:6<573:CO"MCS>2.0.ZU;2-W
Abstract
We report an error in a verification model in [4] and present a revised mod
el 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 [4] is incorrect.