Algorithms and tools for practical verification of concurrent systems.
|Project Period:||1/2000 - 1/2002|
|Investor:||Czech Science Foundation|
|Programme / Project Type:||Standard Projects -|
|Field:||JC - Computer hardware and software (J - Industry)|
BA - General mathematics (B - Physics and mathematics)
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.