Informace o projektu
Automatizovaná verifikace paralelních a distribuovaných systémů

Logo poskytovatele
Kód projektu
GA201/03/0509
Období řešení
1/2003 - 12/2005
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky
Klíčová slova
verification, model-checking, equivalence-checking, concurrent systems

Projekt je zaměřen na analýzu a vývoj nových metod pro efektivní verifikaci souběžných systémů.

Publikace

Počet publikací: 50


Předchozí 1 2 3 4 5 Další

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

Další info