Project information
Algorithms and tools for practical verification of concurrent systems.
- Project Identification
- GA201/00/1023
- Project Period
- 1/2000 - 1/2002
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- 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
2001
-
Distributed LTL Model-Checking in SPIN
M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, year: 2001
-
How to Employ Reverse Search in Distributed Single-Source Shortest Paths
SOFSEM 2001, year: 2001
-
Characterizing Non-Zenoness on Real-Time Processes
Year: 2001, number of pages: 10 s.
-
Model-Checking LTL with Regular Valuations for Pushdown Systems
Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), year: 2001
-
Randomization Helps in LTL Model Checking
Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, year: 2001
2000
-
Constrained Rewrite Transition Systems
Year: 2000, type: R&D Presentation
-
Distributed LTL Model-Checking in SPIN
Year: 2000, number of pages: 16 s.
-
JOMP Application Program Interface
Year: 2000, edition: Vyd. Version 0.1 (draft), number of pages: 32 s.
-
On Simulation-Checking with Sequential Systems
Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), year: 2000
-
OpenMP for Java
Year: 2000, number of pages: 25 s.