73 0

Full metadata record

DC FieldValueLanguage
dc.contributor.authorLee, Scott Uk-Jin-
dc.date.accessioned2019-04-22T06:25:41Z-
dc.date.available2019-04-22T06:25:41Z-
dc.date.issued2016-05-
dc.identifier.citationIndian Journal of Science and Technology, v. 9, No. 17, Page. 1-8en_US
dc.identifier.issn0974-6846-
dc.identifier.issn0974-5645-
dc.identifier.urihttp://www.indjst.org/index.php/indjst/article/view/92730-
dc.identifier.urihttps://repository.hanyang.ac.kr/handle/20.500.11754/102442-
dc.description.abstractDeveloping 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.en_US
dc.language.isoen_USen_US
dc.publisherIndian Society for Education and Environmenten_US
dc.subjectCorrectnessen_US
dc.subjectMultithreaden_US
dc.subjectNon-deterministicen_US
dc.subjectPropertiesen_US
dc.subjectVerification toolsen_US
dc.titleAn empirical study over correctness properties for multithreaded programsen_US
dc.typeArticleen_US
dc.relation.no17-
dc.relation.volume9-
dc.identifier.doi10.17485/ijst/2016/v9i17/92730-
dc.relation.page1-8-
dc.relation.journalIndian Journal of Science and Technology-
dc.contributor.googleauthorAriffin, Abdul Rahim Mohamed-
dc.contributor.googleauthorSiddiqui, Isma Farah-
dc.contributor.googleauthorLee, Scott Uk-Jin-
dc.relation.code2016028470-
dc.sector.campusE-
dc.sector.daehakCOLLEGE OF COMPUTING[E]-
dc.sector.departmentDIVISION OF COMPUTER SCIENCE-
dc.identifier.pidscottlee-
Appears in Collections:
COLLEGE OF COMPUTING[E] > COMPUTER SCIENCE(소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE