CoIn Tool Set

Beneš,  Nikola; Bühnová,  Barbora; Černá,  Ivana; Křivánek,  Milan

CoIn Tool Set

Warning

This publication doesn't include Faculty of Economics and Administration. 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:	Realistic application of formal methods in component systems Highly Parallel and Distributed Computing Systems Verification and Analysis of Large-Scale Computer Systems