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
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