Informace o projektu
Rozšířená verifikace konečně stavových systémů

Kód projektu
FRVS/237/2005/G6
Období řešení
1/2005 - 12/2005
Investor / Programový rámec / typ projektu
Ministerstvo školství, mládeže a tělovýchovy ČR
Fakulta / Pracoviště MU
Fakulta informatiky

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info