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).