Project information
Verification and Analysis of Large-Scale Computer Systems

Information

This project doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official project website can be found on muni.cz.

Project Identification

GA201/09/1389

Project Period

1/2009 - 12/2011

Investor / Pogramme / Project type

Czech Science Foundation

Standard Projects

MU Faculty or unit

Faculty of Informatics

Keywords

verification, model-checking, parallel algorithms

Publications

Total number of publications: 53

2009

Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation

CHALOUPKA Jakub

Article in Proceedings

Algorithms - European Symposium on Algorithms (ESA) 2009, year: 2009
Quantitative Model Checking of Systems with Degradation

BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

Article in Proceedings

2009 Sixth International Conference on the Quantitative Evaluation of Systems, year: 2009
Reachability is decidable for weakly extended process rewrite systems

KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

Article in Periodical

Information and Computation, year: 2009, volume: 207, edition: 6