Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 1 (SGA02002GA-ST)
Hlavní účastníci
Masarykova univerzita / Fakulta informatiky
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Algorithms and tools for practical verification of concurrent systems
Anotace anglicky
The project concentrates on the study and development of practical methods for verification of concurrent systems. The main objectives and research priorities can be summarized as follows: 1. A thorough evaluation of existing (semi)automatic verificationtools for concurrent and distributed systems. It consists of relevant case studies, analysis of advantages and limitations of existing tools, and development of new evaluation methods for infinite-state systems. 2. Complexity of ´practical´ instances ofcomputationally hard verification problems. 3. Analysis and development of new methods for symbolic state-space representation. 4. Decomposition and parallelization of selected verification problems.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
BA - Obecná matematika
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í dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt představuje vynikající přínos jak teoretický, tak praktický k řešení problémů verifikace systémů, zvláště pak v oblasti temporálních logik. Údaje podané v závěrečné kartě jsou pro řešitelský tým nejen adekvátní, překračují dokonce běžný průměr. V
Termíny řešení
Zahájení řešení
1. 1. 2000
Ukončení řešení
1. 1. 2002
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
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
CEP/2003/GA0/GA03GA/U/N/9:7
Datum dodání záznamu
19. 5. 2008
Finance
Celkové uznané náklady
1 429 tis. Kč
Výše podpory ze státního rozpočtu
736 tis. Kč
Ostatní veřejné zdroje financování
1 012 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč