CoIn Tool Set

• 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