Matthew Dwyer  Home/Search
Context Related
| umass.edu/pub/techr...UMCS1994045.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uci.edu/Arcadia...analysis_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present an approach, based on data flow analysis, that can provide cost-effective analysis of concurrent programs with respect to explicitly stated correctness properties. Using this approach, a developer specifies a property of a concurrent program as a pattern of selected program events and asks the analysis to verify that all or no program executions satisfy the given property. We have developed a family of polynomialtime, conservative data flow analysis algorithms that... (Update)
Cited by: More
Heuristic-Guided Counterexample Search in FLAVERS - Tan, Avrunin, Clarke.. (2004) (Correct)
A Generic Approach to the Static Analysis of Concurrent .. - Bouajjani, Esparza.. (2003) (Correct)
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (Correct)
Similar documents (at the sentence level):
11.1%: Data Flow Analysis For Verifying Correctness Properties Of.. - Dwyer (1995) (Correct)
Active bibliography (related documents): More All
1.3: Flow Analysis for Verifying Specifications of Concurrent and.. - Dwyer, Clarke (1999) (Correct)
0.4: Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
0.3: A Flexible Architecture for Building Data Flow Analyzers - Dwyer, Clarke (1996) (Correct)
Similar documents based on text: More All
0.0: A Conservative Data Flow Algorithm for Detecting All Pairs.. - Naumovich, Avrunin (2001) (Correct)
0.0: A Compact Petri Net Representation and Its Implications for.. - Dwyer, Clarke (1995) (Correct)
0.0: Using Partial Evaluation to Enable Verification of.. - Dwyer, Hatcliff, Nanda (1998) (Correct)
Related documents from co-citation: More All
25: Automated Analysis of Concurrent Systems with the Constrained Expression Toolset - Avrunin, Buy et al. - 1991
19: Kluwer Academic Publishers (context) - McMillan, Checking - 1993
19: Evaluating deadlock detection methods for concurrent software - Corbett - 1996
BibTeX entry: (Update)
M.B. Dwyer and L.A. Clarke. Data flow analysis for verifying properties of concurrent programs. Software Engineering Notes, 19(5):62--75, December 1994. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. http://citeseer.ist.psu.edu/dwyer94data.html More
@inproceedings{ matthew94data,
author = "Dwyer, Matthew B. and Clarke, Lori A.",
title = "Data Flow Analysis for Verifying Properties of Concurrent Programs",
booktitle = "Proceedings of the {ACM} {SIGSOFT} '94 Symposium on the Foundations of Software Engineering",
pages = "62-75",
year = "1994",
url = "citeseer.ist.psu.edu/dwyer94data.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
779 Symbolic model checking : 10 20 states and beyond - Burch, Clarke et al. - 1990
232 The concurrency workbench: A semantics based tool for the ve.. - Cleaveland, Parrow et al. - 1993
207 A stubborn attack on state explosion (context) - Valmari - 1990
132 Using partial orders for the efficient verification of deadl.. (context) - Godefroid, Wolper - 1991
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1985
71 Automated analysis of concurrent systems with the constraine.. - Avrunin, Buy et al. - 1991
65 Complexity of analyzing the synchronization structure of con.. (context) - Taylor - 1983
48 Nonconcurrency analysis (context) - Masticola, Ryder - 1993
46 Analysis of event synchronization in a parallel programming .. - Callahan, Kennedy et al. - 1990
40 Cecil: A sequencing constraint language for automatic static.. (context) - Olender, Osterweil - 1990
37 Properties of data flow frameworks (context) - Marlowe, Ryder - 1990
26 A model of Ada programs for static deadlock detection in pol.. (context) - Masticola, Ryder - 1991
24 Interprocedural static analysis of sequencing constraints (context) - Olender, Osterweil - 1992
22 Detection of Ada static deadlocks using Petri net invariants (context) - Murata, Schenker et al. - 1989
19 A concurrency analysis tool suite: Rationale (context) - Young, Taylor et al. - 1992
19 Design and implementation of a Petri net based toolkit for A.. (context) - Shatz, Mai et al. - 1990
18 Tractable flow analysis for anomaly detection in distributed.. - Cheung, Kramer - 1993
14 Efficient computation of precedence information in parallel .. (context) - Grunwald, Srinivasan - 1993
11 of Computer Programs. The Computer Science Library Programmi.. (context) - Hecht - 1977
10 Verifying general safety and liveness properties with intege.. (context) - Corbett - 1992
10 Using state space methods for deadlock analysis in Ada taski.. (context) - Duri, Buy et al. - 1993
10 An algorithm for analyzing communicating processes (context) - Mercouroff - 1992
4 An improved reachability analysis technique (context) - Holzmann - 1988
4 Modeling concurrent processes (context) - Kurshan - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ics.uci.edu/Arcadia/arcadia_papers/analysis/analysis_papers.html):
Automated Construction of Testing and Analysis Tools - Devanbu, Rosenblum, Wolf (Correct)
A Compact Petri Net Representation for Concurrent Programs - Dwyer, Clarke, Nies (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC