Projects
-
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)
MU Researcher: prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2018 — 12/2020Investor: Czech Science Foundation / Standard Projects -
Verification of infinite-state systems (GA201/03/1161)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2003 — 12/2005Investor: Czech Science Foundation / Standard Projects -
Infinite state concurrent systems - models and verification (GA201/00/0400)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2000 — 12/2002Investor: Czech Science Foundation / Standard Projects -
Algorithmic Verification Boundaries for Infinite-State Systems (GA201/97/0456)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/1997 — 12/1999Investor: Czech Science Foundation / Standard Projects -
Analysis of Concurrent Infinite State Systems (GA201/93/2123)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/1993 — 1/1995Investor: Czech Science Foundation / Standard Projects