Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs (1995)
| Citations: | 17 - 5 self |
BibTeX
@MISC{Dwyer95dataflow,
author = {Matthew B. Dwyer},
title = {Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Developers of modern software systems are increasingly employing concurrency to meet demanding system requirements. To deal with the inherent complexity that results from concurrency, developers require cost-effective automated analysis techniques to gain confidence in the quality of their concurrent software. We present an approach, called FLAVERS, that is able to provide cost-effective analysis of concurrent programs with respect to a rich class of explicitly stated correctness properties. FLAVERS is based on a family of polynomial-time, conservative data flow analysis algorithms. Unlike existing analysis approaches for concurrent software, FLAVERS allows developers to control the tradeoff between analysis cost an...
