Checking Safety Properties Using Compositional Reachability Analysis

@article{Cheung1999CheckingSP,
  title={Checking Safety Properties Using Compositional Reachability Analysis},
  author={Shing-Chi Cheung and Jeff Kramer},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={1999},
  volume={8},
  pages={49-78}
}
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) is a promising state reduction technique which can be automated and used in stages to derive the overall behavior of a distributed program based on its architecture. CRA is particularly suitable for the analysis of programs that are subject to evolutionary change. When a program… CONTINUE READING
Highly Cited
This paper has 216 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 84 extracted citations

217 Citations

0102030'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 217 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 19 references

Compositional Reachability Analysis Using Process Algebra

Symposium on Testing, Analysis, and Verification • 1991
View 4 Excerpts
Highly Influenced

Model Checking Large Software Specifications

IEEE Trans. Software Eng. • 1998
View 4 Excerpts
Highly Influenced

Context Constraints for Compositional Reachability Analysis

ACM Trans. Softw. Eng. Methodol. • 1996
View 4 Excerpts
Highly Influenced

Using Integer Programming to Verify General Safety and Liveness Properties

Formal Methods in System Design • 1995
View 6 Excerpts
Highly Influenced