Informace o projektu
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
| Kód projektu | GA15-17564S CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2015–31.12.2017 |
| Stav | ukončený |
| Investor | Grantová agentura ČR |
| Program | Standardní projekty |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
Projekt je orientován na rozvoj herně-teoretických metod pro formální analýzu a verifikaci interaktivních počítačových systémů. Chování takových systémů lze popsat v termínech teorie her jako hru dvou hráčů, systému a prostředí, kteří mají antagonistické cíle --- systém se snaží o splnění zadané verifikační podmínky, zatímco prostředí se snaží o opak. Tímto způsobem je možné problémy související s bezpečností, korektností a výkonem daného systému vyjádřit pomocí aparátu teorie her a využít příslušný teoretický aparát k jejich řešení.