Component-Interaction Automata Approach (CoIn)
| Authors | |
|---|---|
| Year of publication | 2008 |
| Type | Chapter of a book |
| MU Faculty or unit | |
| Citation | |
| Description | The aim of our approach to component modelling and verification, is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling purpose, we use the Component-interaction automata language. For the verification, we employ a parallel model-checker DiVinE, which is able to handle very large, hence more realistic, models of component-based systems. In this chapter, we present the application of our approach to the modelling and verification of the common modelling example defined at the beginning of this book. |
| Related projects: |
|