Compositional verification for component-based systems and application

  title={Compositional verification for component-based systems and application},
  author={Saddek Bensalem and Marius Bozga and Thanh-Hung Nguyen and Joseph Sifakis},
  journal={IET Software},
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transfer. The method is based on the use of two kinds of invariants. Component invariants which are over-approximations of components’ reachability sets. Interaction invariants which are constraints on the states of components involved in interactions. Interaction invariants are obtained by computing traps of finite-state… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 137 citations. REVIEW CITATIONS

7 Figures & Tables



Citations per Year

137 Citations

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

See our FAQ for additional information.