Component-Interaction Automata Approach (CoIn)

• Authors: ZIMMEROVÁ Barbora; VAŘEKOVÁ Pavlína; BENEŠ Nikola; ČERNÁ Ivana; BRIM Luboš; SOCHOR Jiří
• Year of publication: 2008
• Type: Chapter of a book
• MU Faculty or unit: Faculty of Informatics
• 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

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Realistic application of formal methods in component systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems
• Automated software verification