About: DiVinE Library

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: DiVinE Library Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	A library designed to support fast implementation of LTL Model Checkers that employ aggregate computational power of many network nodes to complete the verification task. Several prototype LTL model checking tools are part of the library. Models to be verified must be given in newly designed modeling language DVE. A library designed to support fast implementation of LTL Model Checkers that employ aggregate computational power of many network nodes to complete the verification task. Several prototype LTL model checking tools are part of the library. Models to be verified must be given in newly designed modeling language DVE. (en)
Title	DiVinE Library DiVinE Library (en)
skos:prefLabel	DiVinE Library DiVinE Library (en)
skos:notation	RIV/00216224:14330/06:00024474!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Chaloupka, Jakub Moravec, Pavel Černá, Ivana Barnat, Jiří Brim, Luboš Šimeček, Pavel
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	472060
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/06:00024474
http://linked.open...terniIdentifikace	divine
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	parallel verification; LTL model-checking (en)
http://linked.open.../riv/klicoveSlovo	parallel verification LTL model-checking
http://linked.open...ontrolniKodProRIV	[C91F7D90C430]
http://linked.open...okalizaceVysledku	http://www.fi.muni.cz/paradise/software.html#divine
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	6 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Automated software verification Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2006
http://linked.open...echnickeParametry	L model checker využívající agregované výpočetní síly uzlů v klastru. Nástroj využívá rozhraní MPI. Verze 0.7.0.
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Brim, Luboš Moravec, Pavel Černá, Ivana Šimeček, Pavel Chaloupka, Jakub
http://linked.open...avai/riv/vlastnik	Masarykova univerzita
http://linked.open...itiJinymSubjektem	N - Nabytí licence není nutné (výsledek není licencován)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software