The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00024294" target="_blank" >RIV/00216224:14330/08:00024294 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Original language 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
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
2008
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
Article name in the collection
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
ISBN
—
ISSN
1571-0661
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Department of Computer Science, University of Málaga
Place of publication
Málaga, Spain
Event location
Málaga, Spain
Event date
Sep 10, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—