The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Year of publication 2008
Type Article in Proceedings
Conference Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords component-based systems; Component-Interaction automata; formal verification; LTL; model checking
Description 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:

You are running an old browser version. We recommend updating your browser to its latest version.