This HTML5 document contains 62 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/
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n8http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n4http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n22http://linked.opendata.cz/resource/domain/vavai/subjekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n16https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00066526%21RIV14-MSM-14330___/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00066526%21RIV14-MSM-14330___
rdf:type
n10:Vysledek skos:Concept
dcterms:description
We present a new release of the parallel and distributed LTL model checker DIVINE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DIVINE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ programs, full untimed-LTL model checking of timed automata, and a general-purpose framework for interfacing with arbitrary system modelling tools. We present a new release of the parallel and distributed LTL model checker DIVINE. The major improvements in this new release is an extension of the class of systems that may be verified with the model checker, while preserving the unique DIVINE feature, namely parallel and distributed-memory processing. Version 3.0 comes with support for direct model checking of (closed) multithreaded C/C++ programs, full untimed-LTL model checking of timed automata, and a general-purpose framework for interfacing with arbitrary system modelling tools.
dcterms:title
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
skos:prefLabel
DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
skos:notation
RIV/00216224:14330/13:00066526!RIV14-MSM-14330___
n10:predkladatel
n22:orjk%3A14330
n3:aktivita
n15:S n15:P
n3:aktivity
P(GAP202/11/0312), S
n3:dodaniDat
n5:2014
n3:domaciTvurceVysledku
n4:3095673 n4:5692792 n4:6500773 n4:1956256 n4:6284272 n4:4075951 n4:8287031 n4:1292358 n4:1753444
n3:druhVysledku
n9:D
n3:duvernostUdaju
n19:S
n3:entitaPredkladatele
n20:predkladatel
n3:idSjednocenehoVysledku
70073
n3:idVysledku
RIV/00216224:14330/13:00066526
n3:jazykVysledku
n6:eng
n3:klicovaSlova
model checking; LLVM; C++; C; LTL; timed automata
n3:klicoveSlovo
n7:timed%20automata n7:model%20checking n7:LLVM n7:C n7:C%2B%2B n7:LTL
n3:kontrolniKodProRIV
[6A6A8781BB17]
n3:mistoKonaniAkce
Heidelberg
n3:mistoVydani
Heidelberg
n3:nazevZdroje
Computer Aided Verification 2013
n3:obor
n23:IN
n3:pocetDomacichTvurcuVysledku
9
n3:pocetTvurcuVysledku
9
n3:projekt
n18:GAP202%2F11%2F0312
n3:rokUplatneniVysledku
n5:2013
n3:tvurceVysledku
Weiser, Jiří Štill, Vladimír Barnat, Jiří Lenčo, Milan Kriho, Jan Havel, Vojtěch Havlíček, Jan Ročkai, Petr Brim, Luboš
n3:typAkce
n13:WRD
n3:zahajeniAkce
2013-01-01+01:00
s:issn
0302-9743
s:numberOfPages
6
n14:doi
10.1007/978-3-642-39799-8_60
n8:hasPublisher
Springer-Verlag
n16:isbn
9783642397981
n17:organizacniJednotka
14330