Evaluating Deadlock Detection Methods for Concurrent Software (1996)

View PDF

Download Links

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

Active Bibliography

9 An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs – James C. Corbett - 1994
19 Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs – Matthew B. Dwyer - 1995
406 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
34 An Empirical Comparison of Static Concurrency Analysis Techniques – A. T. Chamillard, Lori A. Clarke, George S. Avrunin - 1996
37 Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs – James Corbett - 1998
An Empirical Comparioson of . . . ANALYSIS TECHNIQUES – Albert T. Chamillard - 1996
770 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
1371 The model checker SPIN – Gerard J. Holzmann - 1997