Publication:
Runtime verification of concurrency-specific correctness criteria

dc.contributor.coauthorQadeer, Shaz
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-11-09T23:11:43Z
dc.date.issued2012
dc.description.abstractWe give an overview of correctness criteria specific to concurrent shared-memory programs and runtime verification techniques for verifying these criteria. We cover a spectrum of criteria, from ones focusing on low-level thread interference such as races to higher-level ones such as linearizability. We contrast these criteria in the context of runtime verification. We present the key ideas underlying the runtime verification techniques for these criteria and summarize the state of the art. Finally, we discuss the issue of coverage for runtime verification for concurrency and present techniques that improve the set of covered thread interleavings.
dc.description.indexedbyScopus
dc.description.issue3
dc.description.openaccessYES
dc.description.publisherscopeInternational
dc.description.sponsoredbyTubitakEuN/A
dc.description.volume14
dc.identifier.doi10.1007/s10009-011-0210-1
dc.identifier.issn1433-2779
dc.identifier.quartileQ3
dc.identifier.scopus2-s2.0-84861229047
dc.identifier.urihttps://doi.org/10.1007/s10009-011-0210-1
dc.identifier.urihttps://hdl.handle.net/20.500.14288/9673
dc.keywordsAtomicity
dc.keywordsConcurrency
dc.keywordsCorrectness criteria
dc.keywordsCoverage
dc.keywordsRefinement
dc.keywordsRuntime verification atomicity
dc.keywordsConcurrency
dc.keywordsCorrectness criterion
dc.keywordsCoverage
dc.keywordsRefinement
dc.keywordsRun-time verification
dc.keywordsInformation systems
dc.keywordsSoftware engineering
dc.language.isoeng
dc.relation.ispartofInternational Journal on Software Tools for Technology Transfer
dc.subjectAtomicity
dc.subjectConcurrency
dc.subjectCorrectness criteria
dc.subjectCoverage
dc.subjectRefinement
dc.subjectSoftware engineering
dc.subjectComputational intelligence
dc.titleRuntime verification of concurrency-specific correctness criteria
dc.typeJournal Article
dspace.entity.typePublication
local.contributor.kuauthorTaşıran, Serdar
local.publication.orgunit1College of Engineering
local.publication.orgunit2Department of Computer Engineering
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files