Informace o projektu
Aplikace formálních metod pro ověřování vlastností procesů
Kód projektu | FRVS/446/2005/G6 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.01.2005–31.12.2005 |
Stav | ukončený |
Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
Program | Fond rozvoje vysokých škol |
Řešitel za FI | |
Členové realizačního týmu za FI |
Anotace
Projekt je aplikací technik vedoucích ke zvýšení efektivity (a tím použitelnosti) verifikačních algoritmů, především metody model checking. Cílem je v rámci doktorského studia řešitele systematicky prozkoumat možnosti verifikace. Zvláště se zaměřit na určení jejich mezí na straně jedné a rozpracovat její praktické přínosy na straně druhé. Na základě tohoto průzkumu navrhnout algoritmy pro redukci modelu a optimalizaci specifikace. Jedním z cílů je prezentace výsledků na mezinárodních konferencích (za podpory navrhovaného grantu).