Dynamic Invariant Generation for Concurrent Programs

TR Number

Date

2014-06-23

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Virginia Tech

Abstract

Description

Keywords

Concurrency, Likely Invariant, Dynamic Invariant Generation, Partial Order Reduction, Error Diagnosis, Atomic Region

Citation

Persistent link

http://hdl.handle.net/10919/49103

Collections

Masters Theses

We collect and process your personal information for the following purposes: Authentication, Preferences, Acknowledgement and Statistics.
To learn more, please read our privacy policy.

Customize