Highly Influenced

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

- Published 2000 in ACM Trans. Softw. Eng. Methodol.
DOI:10.1145/332740.332741

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

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.

Showing 1-10 of 12 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential