Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Cíle projektu
Projekt je zaměřen na studium a vývoj praktických metod pro verifikaci souběžných systémů. Hlavní cíle a výzkumné priority lze shrnout takto: 1. Podrobné a kvalifikované vyhodnocení existujících (semi)automatických nástrojů pro verifikaci souběžných a distribuovaných systémů. Zejména se jedná o provedení relevantních případových studií, analýzu výhod a omezení existujících nástrojů a vývoj nových metod pro evaluaci nekonečně stavových systémů. 2. Výzkum složitosti 'praktických' instancí výpočetně těžkých verifikačních problémů. 3. Analýza a vývoj nových metod pro symbolickou reprezentaci stavových prostorů. 4. Dekompozice a paralelizace vybraných verifikačních problémů.
Klíčová slova
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
(dle převodníku)10101 - Pure mathematics
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č
Základní informace
Uznané náklady
1 429 tis. Kč
Statní podpora
736 tis. Kč
51%
Poskytovatel
Grantová agentura České republiky
CEP
JC - Počítačový hardware a software
Doba řešení
01. 01. 2000 - 01. 01. 2002