Project information
Algorithms and tools for practical verification of concurrent systems.

Investor logo
Project Identification
GA201/00/1023
Project Period
1/2000 - 1/2002
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics

The project concentrates on the study and development of practical methods for verification of concurrent systems. The main objectives and research priorities can be summarized as follows: 1. A thorough evaluation of existing (semi)automatic verification tools for concurrent and distributed systems. It consists of relevant case studies, analysis of advantages and limitations of existing tools, and development of new evaluation methods for infinite-state systems. 2. Complexity of ´practical´ instances of computationally hard verification problems. 3. Analysis and development of new methods for symbolic state-space representation. 4. Decomposition and parallelization of selected verification problems.

Publications

Total number of publications: 31


Previous 1 2 3 4 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info