SPIN++를 이용한 병렬 객체 모델의 검증Concurrent object model verification using SPIN++
- Advisors
- 차성덕; Cha, Sung-Duck
- Description
- 한국과학기술원 : 전산학과,
- 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
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.