CoIn Tool Set
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00028846" target="_blank" >RIV/00216224:14330/09:00028846 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
CoIn Tool Set
Original language 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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
coin
Technical parameters
Nástroj pro ověřování vlastností komponentově interakčních automatů
Economical parameters
—
Owner IČO
00216224
Owner name
Masarykova univerzita