GA201/00/0400, research and development project | Name: Nekonečně stavové souběžné systémy - modely a verifikace | Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification |
|
GA201/00/1023, research and development project | Name: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů | Investor: Czech Science Foundation, Algorithms and tools for practical verification of concurrent systems. |
|
MSM 143300001, plan (intention) | Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů | Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing |
|