A deadlock detection tool for concurrent Java programs
- 1 June 1999
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 29 (7) , 577-603
- https://doi.org/10.1002/(sici)1097-024x(199906)29:7<577::aid-spe246>3.0.co;2-v
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Evaluating deadlock detection methods for concurrent softwareIEEE Transactions on Software Engineering, 1996
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- Design and implementation of a Petri net based toolkit for Ada tasking analysisIEEE Transactions on Parallel and Distributed Systems, 1990