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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F06%3A00015466%21RIV10-GA0-14330___
rdf:type
n5:Vysledek skos:Concept
dcterms:description
The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed in a more readable form. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression, thus restricting moments when the validity is required. We propose a local distributed model checking algorithm for RegCTL and exactly state the complexity of model checking RegCTL formulas. The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed in a more readable form. The specification language RegCTL, an extension of CTL, is proposed. In RegCTL every CTL temporal operator is augmented with a regular expression, thus restricting moments when the validity is required. We propose a local distributed model checking algorithm for RegCTL and exactly state the complexity of model checking RegCTL formulas.
dcterms:title
Model Checking of RegCTL Model Checking of RegCTL
skos:prefLabel
Model Checking of RegCTL Model Checking of RegCTL
skos:notation
RIV/00216224:14330/06:00015466!RIV10-GA0-14330___
n3:aktivita
n14:Z n14:P
n3:aktivity
P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
n3:cisloPeriodika
1
n3:dodaniDat
n17:2010
n3:domaciTvurceVysledku
n12:2361132 n12:1762834
n3:druhVysledku
n16:J
n3:duvernostUdaju
n13:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
486069
n3:idVysledku
RIV/00216224:14330/06:00015466
n3:jazykVysledku
n18:eng
n3:klicovaSlova
model checking; RegCTL temporal logic
n3:klicoveSlovo
n4:model%20checking n4:RegCTL%20temporal%20logic
n3:kodStatuVydavatele
SK - Slovenská republika
n3:kontrolniKodProRIV
[2B97FDC2879F]
n3:nazevZdroje
Computing and Informatics
n3:obor
n7:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n9:GA201%2F06%2F1338 n9:1ET408050503
n3:rokUplatneniVysledku
n17:2006
n3:svazekPeriodika
25
n3:tvurceVysledku
Černá, Ivana Brázdil, Tomáš
n3:wos
000237134000005
n3:zamer
n15:MSM0021622419
s:issn
1335-9150
s:numberOfPages
16
n11:organizacniJednotka
14330