Comments on "The Model Checker SPIN"

Ki Seok Bang, Jin Young Choi, Chuck Yoo

Research output: Contribution to journalComment/debatepeer-review

3 Citations (Scopus)
Original languageEnglish
Pages (from-to)573-576
Number of pages4
JournalIEEE Transactions on Software Engineering
Issue number6
Publication statusPublished - 2001 Jun

Bibliographical note

Funding Information:
This research was supported in part by KOREA Science and Engineering Foundation under grant 97-0100-09-01-3.


  • ACSR
  • LTL
  • Model checking
  • Process scheduling
  • SPIN

ASJC Scopus subject areas

  • Software

Cite this