Comments on "The Model Checker SPIN"

Ki Seok Bang, Jin Young Choi, Hyuck Yoo

Research output: Contribution to journalArticle

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


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

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Computer Graphics and Computer-Aided Design
  • Software

Cite this