Publication:
Runtime verification of concurrency-specific correctness criteria

Placeholder

Departments

School / College / Institute

Program

KU Authors

Co-Authors

Qadeer, Shaz

Publication Date

Language

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

item.page.datauri

Link

Rights

Copyrights Note

Endorsement

Review

Supplemented By

Referenced By

0

Views

0

Downloads

View PlumX Details