This HTML5 document contains 50 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n11http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
n4http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F08%3A00024388%21RIV11-MSM-14330___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n21http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F08%3A00024388%21RIV11-MSM-14330___
rdf:type
n8:Vysledek skos:Concept
dcterms:description
In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios. In large component-based systems, the applicability of formal verification techniques to check interaction correctness among components is becoming challenging due to the concurrency of a large number of components. In our approach, we employ parallel LTL-like model checking to handle the size of the model. We present the results of the actual application of the technique to the verification of a complex model of a real system created within the CoCoME Modelling Contest. In this case study, we check the validity of the model and the correctness of the system via checking various temporal properties. We concentrate on the component-specific properties, like local deadlocks of components, and correctness of given use-case scenarios.
dcterms:title
A Case Study in Parallel Verification of Component-Based Systems A Case Study in Parallel Verification of Component-Based Systems
skos:prefLabel
A Case Study in Parallel Verification of Component-Based Systems A Case Study in Parallel Verification of Component-Based Systems
skos:notation
RIV/00216224:14330/08:00024388!RIV11-MSM-14330___
n3:aktivita
n9:P n9:Z
n3:aktivity
P(1ET400300504), P(1ET408050503), Z(MSM0021622419)
n3:dodaniDat
n21:2011
n3:domaciTvurceVysledku
n16:2050587 n16:7676239 n16:5332877 n16:3664449 n16:2361132
n3:druhVysledku
n5:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
354069
n3:idVysledku
RIV/00216224:14330/08:00024388
n3:jazykVysledku
n20:eng
n3:klicovaSlova
Component-based systems; formal verification; parallel model checking
n3:klicoveSlovo
n17:parallel%20model%20checking n17:Component-based%20systems n17:formal%20verification
n3:kontrolniKodProRIV
[C3BC0E1E4899]
n3:mistoKonaniAkce
Budapest, Hungary
n3:mistoVydani
Budapest, Hungary
n3:nazevZdroje
Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08)
n3:obor
n18:IN
n3:pocetDomacichTvurcuVysledku
5
n3:pocetTvurcuVysledku
5
n3:projekt
n10:1ET408050503 n10:1ET400300504
n3:rokUplatneniVysledku
n21:2008
n3:tvurceVysledku
Bühnová, Barbora Černá, Ivana Beneš, Nikola Sochor, Jiří Moravcová Vařeková, Pavlína
n3:typAkce
n11:WRD
n3:zahajeniAkce
2008-03-29+01:00
n3:zamer
n19:MSM0021622419
s:issn
1571-0661
s:numberOfPages
17
n7:hasPublisher
ETAPS
n15:organizacniJednotka
14330