About: Automated formal verification using modern hardware

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

About: Automated formal verification using modern hardware Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
Description	Cílem projektu je provádět základní výzkum v oblasti efektivního využití soudobých výpočetních prostředků pro účely formální verifikace a analýzy počítačových, biologických a pravděpodobnostních systémů. (cs) We will conduct basic research in the field of automated formal verification and analyses of computer, biological, and probabilistic systems. In particular, we will focus on efficient utilization of modern hardware such as multi-cored workstations, systems equipped with fast external memory (SSD disks), and computational systems exploiting distributed-memory. Our motivation is just the poor readiness of current software tools to efficient utilization of such hardware. The output of this project will be papers published in international journals or at international conferences. (en)
Title	Automatizovaná formální verifikace s využitím soudobého hardware (cs) Automated formal verification using modern hardware (en)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/201/09/P497
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/52807637
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GP
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02009GA1PD
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	formální verifikace; ověřování modelu lineární temporální logikou; více-vláknové aplikace (en)
http://linked.open...avai/konec-reseni	2011-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...avai/start-reseni	2009-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	572 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	572 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	23 (xsd:integer)
http://linked.open...ku-zverejnovanych	23 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2009/GP201/09/P497/orjk-14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2010/GP201/09/P497/orjk-14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/GP201/09/P497/orjk-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, 107 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software