Informace o projektu
Automatizovaná verifikace paralelních a distribuovaných systémů
| Kód projektu | GA201/03/0509 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2003–31.12.2005 |
| Stav | ukončený |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI |
Anotace
Projekt je zaměřen na analýzu a vývoj nových metod pro efektivní verifikaci souběžných systémů.