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
Volume27
Issue number6
DOIs
Publication statusPublished - 2001 Jun 1

Fingerprint

Model checking

Keywords

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

ASJC Scopus subject areas

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

Cite this

Comments on "The Model Checker SPIN". / Bang, Ki Seok; Choi, Jin Young; Yoo, Hyuck.

In: IEEE Transactions on Software Engineering, Vol. 27, No. 6, 01.06.2001, p. 573-576.

Research output: Contribution to journalArticle

@article{62a05aa7dac242d0a504f7d99d2be3aa,
title = "Comments on {"}The Model Checker SPIN{"}",
keywords = "ACSR, LTL, Model checking, Process scheduling, SPIN",
author = "Bang, {Ki Seok} and Choi, {Jin Young} and Hyuck Yoo",
year = "2001",
month = "6",
day = "1",
doi = "10.1109/32.926177",
language = "English",
volume = "27",
pages = "573--576",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",

}

TY - JOUR

T1 - Comments on "The Model Checker SPIN"

AU - Bang, Ki Seok

AU - Choi, Jin Young

AU - Yoo, Hyuck

PY - 2001/6/1

Y1 - 2001/6/1

KW - ACSR

KW - LTL

KW - Model checking

KW - Process scheduling

KW - SPIN

UR - http://www.scopus.com/inward/record.url?scp=0035362902&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035362902&partnerID=8YFLogxK

U2 - 10.1109/32.926177

DO - 10.1109/32.926177

M3 - Article

AN - SCOPUS:0035362902

VL - 27

SP - 573

EP - 576

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 6

ER -