Using shape analysis to reduce finite-state models of concurrent Java programs

@article{Corbett2000UsingSA,
  title={Using shape analysis to reduce finite-state models of concurrent Java programs},
  author={James C. Corbett},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={2000},
  volume={9},
  pages={51-93}
}
Finite-state verification (e.g., model checking) provides a powerful means to detect concurrency errors, which are often subtle and difficult to reproduce. Nevertheless, widespread use of this technology by developers is unlikely until tools provide automated support for extracting the required finite-state models directly from program source. Unfortunately, the dynamic features of modern languages such as Java complicate the construction of compact finite-state models for verification. In this… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS

9 Figures & Tables

Topics

Statistics

0510'00'02'04'06'08'10'12'14'16'18
Citations per Year

65 Citations

Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.