The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
ISBN
—
ISSN
1571-0661
e-ISSN
—
Počet stran výsledku
5
Strana od-do
—
Název nakladatele
Department of Computer Science, University of Málaga
Místo vydání
Málaga, Spain
Místo konání akce
Málaga, Spain
Datum konání akce
10. 9. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—