Publication details
The CoIn Tool: Modelling and Verification of Interactions in Component
-Based Systems
| Basic information | |
|---|---|
| Original title: | The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems |
| Authors: | Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, Barbora Zimmerová |
| Further information | |
|---|---|
| Citation: | BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 221-225. 10.9.2008, Málaga, Spain. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | component-based systems; Component-Interaction automata; formal verification; LTL; model checking |
The paper presents a modelling and model-checking tool designed for formal verification of interactions among components in hierarchical component-based systems. As distinct from existing verification frameworks, the presented CoIn Tool is able to analyse complex hierarchical models on the fly, and to verify linear temporal properties involving both state and action propositions.
Related projects:
- Techniques for automatic verification and validation of software nad hardware systems
- Realistic application of formal methods in component systems
- Highly Parallel and Distributed Computing Systems
