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
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP201/09/P497
Description	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) 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ů.
Title	Automated formal verification using modern hardware (en) Automatizovaná formální verifikace s využitím soudobého hardware
skos:notation	GP201/09/P497
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP497/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F09%2FP497/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-03-02 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	91732570
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	formální verifikace; ověřování modelu lineární temporální logikou; více-vláknové aplikace (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	23 (xsd:int)
http://linked.open...enychVysledkuVRIV	23 (xsd:int)
http://linked.open...lneniVMinulemRoce	2011-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F09%2FP497
http://linked.open...iciPoslednihoRoku	2011
http://linked.open...atUdajeProjZameru	2012
http://linked.open.../vavai/cep/soutez	SGA02009GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2011-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2009-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	The project was excellent, both in terms of expertise and in terms of disbursement of funds. (en) Řešení projektu proběhlo na vynikající úrovni, a to jak z hlediska odborného tak i z hlediska čerpání finančních prostředků. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	formální verifikace ověřování modelu lineární temporální logikou
is http://linked.open...vavai/riv/projekt of	DiVinE 2.4 DiVinE Cuda DiVinE 2.0 A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties Computing Strongly Connected Components in Parallel on CUDA Computing Optimal Cycle Mean in Parallel on CUDA Designing Fast LTL Model Checking Algorithms for Many-core GPUs Scalable shared memory LTL model checking On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties On Expressing and Monitoring Oscillatory Dynamics Computational Analysis of Large-Scale Multi-Affine ODE Models BioDiVinE: A Framework for Parallel Analysis of Biological Models DiVinE 2.0: High-Performance Model Checking DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking CUDA Accelerated LTL Model Checking Cluster-Based I/O-Efficient LTL Model Checking Efficient Large-Scale Model Checking Quantitative Model Checking of Systems with Degradation High-performance analysis of biological systems dynamics with the DiVinE model checker A Symbolic Approach to Controlling Piecewise Affine Systems Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement Parallel Partial Order Reduction with Topological Sort Proviso Employing Multiple CUDA Devices to Accelerate LTL Model Checking
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP497/2009/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP497/2010/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP497/2011/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F09%2FP497/2012/orjk%3A14330

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software