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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n22http://purl.org/net/nknouf/ns/bibtex#
n17http://localhost/temp/predkladatel/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n12https://schema.org/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F06%3A00015442%21RIV10-GA0-14330___/
n8http://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/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F06%3A00015442%21RIV10-GA0-14330___
rdf:type
n15:Vysledek skos:Concept
dcterms:description
We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours. We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.
dcterms:title
On Combining Partial Order Reduction with Fairness Assumptions On Combining Partial Order Reduction with Fairness Assumptions
skos:prefLabel
On Combining Partial Order Reduction with Fairness Assumptions On Combining Partial Order Reduction with Fairness Assumptions
skos:notation
RIV/00216224:14330/06:00015442!RIV10-GA0-14330___
n3:aktivita
n5:Z n5:P
n3:aktivity
P(1ET408050503), P(1M0545), P(GA201/06/1338), P(GD102/05/H050), Z(MSM0021622419)
n3:dodaniDat
n10:2010
n3:domaciTvurceVysledku
n11:6500773 n11:6656536 n11:9654674 n11:2361132
n3:druhVysledku
n14:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n20:predkladatel
n3:idSjednocenehoVysledku
490287
n3:idVysledku
RIV/00216224:14330/06:00015442
n3:jazykVysledku
n9:eng
n3:klicovaSlova
partial order reduction; fairness; LTL model checking
n3:klicoveSlovo
n6:LTL%20model%20checking n6:partial%20order%20reduction n6:fairness
n3:kontrolniKodProRIV
[65A1F0BEB3FC]
n3:mistoKonaniAkce
Bonn, Germany
n3:mistoVydani
Bonn, Germany
n3:nazevZdroje
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n4:GD102%2F05%2FH050 n4:1M0545 n4:GA201%2F06%2F1338 n4:1ET408050503
n3:rokUplatneniVysledku
n10:2006
n3:tvurceVysledku
Brim, Luboš Černá, Ivana Šimša, Jiří Moravec, Pavel
n3:typAkce
n19:WRD
n3:wos
000245773800006
n3:zahajeniAkce
2006-01-01+01:00
n3:zamer
n8:MSM0021622419
s:numberOfPages
16
n22:hasPublisher
University Bonn
n12:isbn
978-3-540-70951-0
n17:organizacniJednotka
14330