Informace o projektu
Rozšířená verifikace konečně stavových systémů
| Kód projektu | FRVS/237/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 zaměřen na návrh a verifikaci počítačových systémů pomocí matematických modelů, konkrétně metodou "ověřování modelů" (model checking). Tato metoda zkoumá všechna možná chování systému a je tedy daleko spolehlivější než klasické, neúplné metody (testování, simulace). Je však také výrazně výpočetně náročnější. Cílem projektu je rozšíření této metody ve třech směrech: algoritmická rozšíření (náhodnostní, paralelní), rozšíření automatizace procesu verifikace, rozšíření informací poskytovaných uživateli zejména o kvantitativní informace.