Publication: Runtime verification of concurrency-specific correctness criteria
Program
KU-Authors
KU Authors
Co-Authors
Qadeer, Shaz
Publication Date
Language
Type
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
We 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.
Source
Publisher
Subject
Atomicity, Concurrency, Correctness criteria, Coverage, Refinement, Software engineering, Computational intelligence
Citation
Has Part
Source
International Journal on Software Tools for Technology Transfer
Book Series Title
Edition
DOI
10.1007/s10009-011-0210-1