Informace o projektu
Verifikace a analýza velmi velkých počítačových systémů
- Kód projektu
- GA201/09/1389
- Období řešení
- 1/2009 - 12/2011
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- verifikace, ověřování modelu, paralelní algoritmy
Publikace
Počet publikací: 53
2009
-
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Algorithms - European Symposium on Algorithms (ESA) 2009, rok: 2009
-
Quantitative Model Checking of Systems with Degradation
2009 Sixth International Conference on the Quantitative Evaluation of Systems, rok: 2009
-
Reachability is decidable for weakly extended process rewrite systems
Information and Computation, rok: 2009, ročník: 207, vydání: 6