Automatizovaná verifikace paralelních a distribuovaných systémů

Název projektu anglicky
Automated Verification of Parallel and Distributed Systems
Anotace anglicky
The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems. Main targets of the project can be summarized as follows: 1. Experimental environment for evaluation of verificationalgorithms. In particular, tools for rapid implementation of new or modified algorithms (e.g. in a distributed environment), their integration, and comparison of their computational tractability will be developed. 2. Formal methods for computationallyhard verification problems. In particular, expressivelly restricted model languages which allow for more effective verification algorithms will be investigated (e.g. 1-safe Petri Nets, minimized non-deterministic finite automata). 3. Analyzis anddevelopment of new methods for explicit and symbolic verification. 4. Decomposition and parallelization of selected verification problems.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
JC - Počítačový hardware a software
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>)
10101 - Pure mathematics<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Hlavní výsledky projektu jsou nové původní metody a techniky pro automatizovanou verifikaci velkých paralelních a distribuovaných systémů, s důrazem na praktičnost jejich aplikace na realistické systémy, jejich optimalizace a vytvoření softwarové podpory

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
CEP06-GA0-GA-U/07:6
Datum dodání záznamu
15. 1. 2009

Podobné projekty(10)