Attributes | Values |
---|
rdf:type
| |
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.
- 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. (en)
|
Title
| - The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
- The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems (en)
|
skos:prefLabel
| - The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
- The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems (en)
|
skos:notation
| - RIV/00216224:14330/08:00024294!RIV11-MSM-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET400300504), P(1ET408050503), Z(MSM0021622419)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/08:00024294
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - component-based systems; Component-Interaction automata; formal verification; LTL; model checking (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Beneš, Nikola
- Brim, Luboš
- Sochor, Jiří
- Černá, Ivana
- Bühnová, Barbora
- Moravcová Vařeková, Pavlína
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Department of Computer Science, University of Málaga
|
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |