An empirical study over correctness properties for multithreaded programs
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ariffin, Abdul rahim mohamed | - |
dc.contributor.author | Siddiqui, Isma farah | - |
dc.contributor.author | Lee, Scott uk jin | - |
dc.date.accessioned | 2021-06-22T18:05:12Z | - |
dc.date.available | 2021-06-22T18:05:12Z | - |
dc.date.issued | 2016-05 | - |
dc.identifier.issn | 0974-6846 | - |
dc.identifier.issn | 0974-5645 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/15646 | - |
dc.description.abstract | Developing multithreaded programs has been difficult, especially when dealing with non-deterministic programs. It is nearly impossible to achieve completeness and soundness for multithreaded programs. In recent years, a number of verification tools have been developed in order to support multithreaded programs to achieve completeness and soundness. Verification tools developed through analyzing correctness properties. However, existing tools are still unable to discover all possible correctness properties for multithreaded programs and most of the tools only verifies deterministic multithreaded programs. In this paper, we have given an empirical study on the correctness of multithreaded programs and analyzed all possible correctness properties in existing verification tools. We have compared existing tools with a number of possible properties and evaluated possible improvements for developing a correct multithreaded program. With the findings of these properties, we also analyzed the high-priority and low-priority correctness properties for multithreaded programs. | - |
dc.format.extent | 8 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Indian Society for Education and Environment | - |
dc.title | An empirical study over correctness properties for multithreaded programs | - |
dc.type | Article | - |
dc.publisher.location | 인도 | - |
dc.identifier.doi | 10.17485/ijst/2016/v9i17/92730 | - |
dc.identifier.scopusid | 2-s2.0-84969988148 | - |
dc.identifier.bibliographicCitation | Indian Journal of Science and Technology, v.9, no.17, pp 1 - 8 | - |
dc.citation.title | Indian Journal of Science and Technology | - |
dc.citation.volume | 9 | - |
dc.citation.number | 17 | - |
dc.citation.startPage | 1 | - |
dc.citation.endPage | 8 | - |
dc.type.docType | Article | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scopus | - |
dc.subject.keywordAuthor | Correctness | - |
dc.subject.keywordAuthor | Multithread | - |
dc.subject.keywordAuthor | Non-deterministic | - |
dc.subject.keywordAuthor | Properties | - |
dc.subject.keywordAuthor | Verification tools | - |
dc.identifier.url | https://indjst.org/articles/an-empirical-study-over-correctness-properties-for-multithreaded-programs | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.