Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Comparative Analysis on Tools for Verifying Multithreaded Applications
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Mohamed Ariffin, Abdul Rahim | - |
| dc.contributor.author | Kim, Gayeon | - |
| dc.contributor.author | Lee, Scott Uk Jin | - |
| dc.date.accessioned | 2021-06-22T18:42:02Z | - |
| dc.date.available | 2021-06-22T18:42:02Z | - |
| dc.date.issued | 2015-12 | - |
| dc.identifier.issn | 2466-0825 | - |
| dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/16467 | - |
| dc.description.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. | - |
| dc.format.extent | 3 | - |
| dc.language | 영어 | - |
| dc.language.iso | ENG | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | Comparative Analysis on Tools for Verifying Multithreaded Applications | - |
| dc.title.alternative | 멀티쓰레드 어플리케이션 검증을 위한 도구의 비교분석 | - |
| dc.type | Article | - |
| dc.publisher.location | 대한민국 | - |
| dc.identifier.bibliographicCitation | 2015 한국정보과학회 동계학술발표회 논문집, v.2015, no.12, pp 470 - 472 | - |
| dc.citation.title | 2015 한국정보과학회 동계학술발표회 논문집 | - |
| dc.citation.volume | 2015 | - |
| dc.citation.number | 12 | - |
| dc.citation.startPage | 470 | - |
| dc.citation.endPage | 472 | - |
| dc.description.isOpenAccess | N | - |
| dc.description.journalRegisteredClass | other | - |
| dc.identifier.url | https://www.dbpia.co.kr/journal/articleDetail?nodeId=NODE06602422 | - |
- 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 컴퓨터학부)