Projekty
-
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2018 — 12/2020Investor/Program: Grantová agentura ČR / Standardní projekty -
Verifikace nekonečně stavových systémů (GA201/03/1161)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2003 — 12/2005Investor/Program: Grantová agentura ČR / Standardní projekty -
Nekonečně stavové souběžné systémy - modely a verifikace (GA201/00/0400)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2000 — 12/2002Investor/Program: Grantová agentura ČR / Standardní projekty -
Meze algoritmické verifikovatelnosti nekonečně stavových systémů (GA201/97/0456)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1997 — 12/1999Investor/Program: Grantová agentura ČR / Standardní projekty -
Analýza konkurentních nekonečně stavových systémů (GA201/93/2123)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/1993 — 1/1995Investor/Program: Grantová agentura ČR / Standardní projekty