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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F02%3A00006432%21RIV08-MSM-14330___
rdf:type
skos:Concept n22:Vysledek
dcterms:description
In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial state spaces''. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to proceed, the border states are augmented by assumptions about the truth of formulas and the computers exchange assumptions about relevant states as they compute more precis In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial state spaces''. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to proceed, the border states are augmented by assumptions about the truth of formulas and the computers exchange assumptions about relevant states as they compute more precis In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial state spaces''. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to proceed, the border states are augmented by assumptions about the truth of formulas and the computers exchange assumptions about relevant states as they compute more precis
dcterms:title
Using Assumptions to Distribute CTL Model Checking Using Assumptions to Distribute CTL Model Checking Using Assumptions to Distribute CTL Model Checking
skos:prefLabel
Using Assumptions to Distribute CTL Model Checking Using Assumptions to Distribute CTL Model Checking Using Assumptions to Distribute CTL Model Checking
skos:notation
RIV/00216224:14330/02:00006432!RIV08-MSM-14330___
n3:strany
80
n3:aktivita
n18:Z n18:P
n3:aktivity
P(GA201/00/1023), Z(MSM 143300001)
n3:dodaniDat
n9:2008
n3:domaciTvurceVysledku
n15:5889936 n15:6500773
n3:druhVysledku
n11:D
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
668123
n3:idVysledku
RIV/00216224:14330/02:00006432
n3:jazykVysledku
n5:eng
n3:klicovaSlova
verification; model checking
n3:klicoveSlovo
n19:model%20checking n19:verification
n3:kontrolniKodProRIV
[6E933BE91F77]
n3:mistoKonaniAkce
August 19, 2002, Brno, Czech republic
n3:mistoVydani
Brno, Czech Republic
n3:nazevZdroje
1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002)
n3:obor
n21:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
3
n3:projekt
n12:GA201%2F00%2F1023
n3:rokUplatneniVysledku
n9:2002
n3:tvurceVysledku
Yorav, Karen Žídková, Jitka Brim, Luboš
n3:typAkce
n8:WRD
n3:zahajeniAkce
2002-01-01+01:00
n3:zamer
n13:MSM%20143300001
s:numberOfPages
16
n6:hasPublisher
Elsevier
n10:isbn
0-444-51291-8
n20:organizacniJednotka
14330