Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현Implementation of ANSI-C translator for analyzing C program using SPARK examiner
- Advisors
- 차성덕; Cha, Sung-Deok
- Description
- 한국과학기술원 : 전산학전공,
- Publisher
- 한국과학기술원
- Issue Date
- 2002
- Identifier
- 177101/325007 / 020003136
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학전공, 2002.2, [ v, 66 p. ]
- Keywords
ANSI C; 프로그램 분석; 소프트웨어 공학; 안전성 분석; ANSI C; program analysis; safety-critical; Software Engineering
- 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.