Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Comparative Analysis on Tools for Verifying Multithreaded Applications멀티쓰레드 어플리케이션 검증을 위한 도구의 비교분석
- Other Titles
- 멀티쓰레드 어플리케이션 검증을 위한 도구의 비교분석
- Issue Date
- Dec-2015
- Publisher
- 한국정보과학회
- Citation
- 2015 한국정보과학회 동계학술발표회 논문집, v.2015, no.12, pp 470 - 472
- Pages
- 3
- Indexed
- OTHER
- Journal Title
- 2015 한국정보과학회 동계학술발표회 논문집
- Volume
- 2015
- Number
- 12
- Start Page
- 470
- End Page
- 472
- ISSN
- 2466-0825
- Abstract
- The growth rate for the usage of multithreaded applications has been increasing rapidly along with improved modern day software. For that reason, effective verification tools is needed. With the rapid growth in software development, there has been a number of verifiers that have been introduced due to the lower quality of software that were developed. Therefore, the purpose of this paper is to analyze the comparison of different tools for verifying multithreaded applications. Comparison and evaluation to find an effective verification tool for multithreaded applications will also be shown in this paper.
- Files in This Item
- Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > ERICA 컴퓨터학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- Lee, Scott Uk Jin
- ERICA 소프트웨어융합대학 (ERICA 컴퓨터학부)