Checking Subsystem Safety Properties in Compositional Reachability Analysis

  title={Checking Subsystem Safety Properties in Compositional Reachability Analysis},
  author={Shing-Chi Cheung and Jeff Kramer},
The software architecture of a distributed program can be represented by an hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis has been proposed as a promising automated method to derive the overall behavior of a distributed program in stages, based on its architecture. The method is particularly suitable for the analysis of programs which are subject to evolutionary change. When a program evolves, only behavior… CONTINUE READING
Highly Cited
This paper has 95 citations. REVIEW CITATIONS


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

95 Citations

Citations per Year
Semantic Scholar estimates that this publication has 95 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…