Automatizovaná formální verifikace s využitím soudobého hardware

Název projektu anglicky
Automated formal verification using modern hardware
Anotace anglicky
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 bepapers published in international journals or at international conferences.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Ř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ů.

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP12-GA0-GP-U/03:3
Datum dodání záznamu
2. 5. 2016

Cíle projektu