CoIn Tool Set

Investor logo

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 BÜHNOVÁ Barbora ČERNÁ Ivana KŘIVÁNEK Milan

Year of publication 2009
MU Faculty or unit

Faculty of Informatics

Web http://anna.fi.muni.cz/coin/tool
Description The purpose of the CoIn Tool Set is to assist developers along the modelling and verification process using component-interaction (CI) automata. The Tool Set currently consists of two parts: a graphical modelling tool, which enables the developer to create CI automata models visually using a GUI, and a verification environment for formal verification of created models with the model-checking technique. The properties to be checked are specified using temporal logic, namely a variant of State/Event LTL.
Related projects:

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