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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F03%3A00008254%21RIV08-MSM-14330___
rdf:type
n12:Vysledek skos:Concept
dcterms:description
Our work focuses on distributing model checking, which is probably the most widely used verification technique. We propose a framework that allows to distribute various model checking algorithms. The state space is divided into fragments and we use assumptions to represent missing parts of the verified system on each computer. Formal correctness proof of the scheme and experimental results has been given as well. Our work focuses on distributing model checking, which is probably the most widely used verification technique. We propose a framework that allows to distribute various model checking algorithms. The state space is divided into fragments and we use assumptions to represent missing parts of the verified system on each computer. Formal correctness proof of the scheme and experimental results has been given as well. Our work focuses on distributing model checking, which is probably the most widely used verification technique. We propose a framework that allows to distribute various model checking algorithms. The state space is divided into fragments and we use assumptions to represent missing parts of the verified system on each computer. Formal correctness proof of the scheme and experimental results has been given as well.
dcterms:title
Using Assumptions to Distribute Model Checking Using Assumptions to Distribute Model Checking Using Assumptions to Distribute Model Checking
skos:prefLabel
Using Assumptions to Distribute Model Checking Using Assumptions to Distribute Model Checking Using Assumptions to Distribute Model Checking
skos:notation
RIV/00216224:14330/03:00008254!RIV08-MSM-14330___
n3:strany
73-78
n3:aktivita
n9:Z n9:P
n3:aktivity
P(GA201/03/0509), Z(MSM 143300001)
n3:dodaniDat
n7:2008
n3:domaciTvurceVysledku
n15:5889936
n3:druhVysledku
n16:D
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
632365
n3:idVysledku
RIV/00216224:14330/03:00008254
n3:jazykVysledku
n14:eng
n3:klicovaSlova
verification; model checking; distribution
n3:klicoveSlovo
n4:model%20checking n4:distribution n4:verification
n3:kontrolniKodProRIV
[4A5A397C2A2D]
n3:mistoKonaniAkce
Zvíkovské Podhradí
n3:mistoVydani
Brno, Česká republika
n3:nazevZdroje
Počítačové Architektury & Diagnostika
n3:obor
n17:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n20:GA201%2F03%2F0509
n3:rokUplatneniVysledku
n7:2003
n3:tvurceVysledku
Žídková, Jitka
n3:typAkce
n13:CST
n3:zahajeniAkce
2003-09-24+02:00
n3:zamer
n18:MSM%20143300001
s:numberOfPages
6
n19:hasPublisher
Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů
n21:isbn
80-214-2471-0
n11:organizacniJednotka
14330