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
n11http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n16http://purl.org/net/nknouf/ns/bibtex#
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00019460%21RIV10-GA0-14330___/
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#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00019460%21RIV10-GA0-14330___
rdf:type
n7:Vysledek skos:Concept
dcterms:description
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the mu-calculus which naturally subsumes the branching time logic CTL (computation tree logic). We also indicate how to provide parallel model checking applications as services for integrated modelling, analysis, and verification using thee FMICS-jETI platform. In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the mu-calculus which naturally subsumes the branching time logic CTL (computation tree logic). We also indicate how to provide parallel model checking applications as services for integrated modelling, analysis, and verification using thee FMICS-jETI platform.
dcterms:title
Parallel Model Checking and the FMICS-jETI Platform Parallel Model Checking and the FMICS-jETI Platform
skos:prefLabel
Parallel Model Checking and the FMICS-jETI Platform Parallel Model Checking and the FMICS-jETI Platform
skos:notation
RIV/00216224:14330/07:00019460!RIV10-GA0-14330___
n3:aktivita
n12:Z n12:P
n3:aktivity
P(1ET408050503), P(1M0545), P(GA201/06/1338), Z(MSM0021622419)
n3:dodaniDat
n9:2010
n3:domaciTvurceVysledku
Leucker, Martin n14:5692792 n14:6500773
n3:druhVysledku
n22:D
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
440582
n3:idVysledku
RIV/00216224:14330/07:00019460
n3:jazykVysledku
n4:eng
n3:klicovaSlova
Parallel Model Checking; FMICS-jETI platform
n3:klicoveSlovo
n5:Parallel%20Model%20Checking n5:FMICS-jETI%20platform
n3:kontrolniKodProRIV
[86414849977B]
n3:mistoKonaniAkce
The University of Auckland, New Zealand
n3:mistoVydani
Los Alamitos
n3:nazevZdroje
Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems
n3:obor
n17:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n15:1M0545 n15:GA201%2F06%2F1338 n15:1ET408050503
n3:rokUplatneniVysledku
n9:2007
n3:tvurceVysledku
Leucker, Martin Barnat, Jiří Brim, Luboš
n3:typAkce
n11:WRD
n3:wos
000248574000034
n3:zahajeniAkce
2007-01-01+01:00
n3:zamer
n18:MSM0021622419
s:numberOfPages
10
n16:hasPublisher
IEEE Computer Society
n21:isbn
0-7695-2895-3
n19:organizacniJednotka
14330