Compositional verification for component-based systems and application

@article{Bensalem2010CompositionalVF,
  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},
  year={2010},
  volume={4},
  pages={181-193}
}
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

Topics

Statistics

0204020082009201020112012201320142015201620172018
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.