Evaluating Deadlock Detection Methods for Concurrent Software (1996)

Cached

Download Links

by James C. Corbett
Venue:IEEE Transactions on Software Engineering
Citations:121 - 6 self

Active Bibliography

9 An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs – James C. Corbett - 1994
17 Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs – Matthew B. Dwyer - 1995
31 An Empirical Comparison of Static Concurrency Analysis Techniques – A. T. Chamillard, Lori A. Clarke, George S. Avrunin - 1996
32 Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs – James Corbett - 1998
11 Improving the precision of INCA by eliminating solutions with spurious cycles – Stephen F. Siegel, George S. Avrunin - 2002
23 Verification of Communication Protocols Using Data Flow Analysis – Gleb Naumovich , Lori A. Clarke, Leon J. Osterweil - 1996
10 A Compact Petri Net Representation for Concurrent Programs – Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies - 1994
5 Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification – James C. Corbett - 1993
40 Using Integer Programming to Verify General Safety and Liveness Properties – James C. Corbett, George S. Avrunin - 1993
Software Model Checking: The VeriSoft Approach – Patrice Godefroid Bell - 2003
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
2 Automatic Real-Time Analysis of Ada Tasking Programs for Embedded Systems – U. Buy, R. H. Sloan
142 Property Specification Patterns for Finite-State Verification – Matthew Dwyer, George S. Avrunin, James C. Corbett - 1998
23 An Application Of Petri Net Reduction For Ada Tasking Deadlock Analysis – S. M. Shatz, S. Tu, T. Murata, S. Duri - 1996
3 Comparing Implementation Strategies for Composite Data Flow Analysis Problems – Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil - 1998
1 A Specification-Based Approach to Concurrency Analysis – Ugo Buy, Robert Moll - 1995
30 Applying static analysis to software architectures – Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil - 1997
46 Detecting Deadlocks In Concurrent Systems – Lisbeth Fajstrup , Eric Goubault, Martin Raussen - 1998
3 A Run-time Environment for a Validation Language – Willem Conradie Visser - 1993