SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++

Advisors
차성덕researcherCha, Sung-Duckresearcher
Publisher
한국과학기술원
Issue Date
1999
Identifier
150960/325007 / 000973652
Language
kor
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1999.2, [ ii, 62 p. ]

Keywords

선형 시제 논리; 모델 체킹; 검증; 병렬 객체; 스핀; SPIN; Linear temporal logic; Model checking; Verification; Concurrent object

URI
http://hdl.handle.net/10203/34338
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=150960&flag=t
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 150
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0