Informace o projektu
Automatizovaná formální verifikace s využitím soudobého hardware
Kód projektu | GP201/09/P497 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.01.2009–31.12.2011 |
Stav | ukončený |
Investor | Grantová agentura ČR |
Program | Postdoktorské projekty |
Řešitel za FI |