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
2002
-
Property Driven Distribution of Nested DFS
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, year: 2002
-
SGCCS: A Graphical Language for Real-Time Coordination
Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2002
-
SGCCS: A Graphical Language for Real-Time Systems
Proceedings SOFSEM 2002 Student Research Forum, year: 2002
-
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02), year: 2002
-
Using Assumptions to Distribute CTL Model Checking
1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), year: 2002
-
Using Assumptions to Distribute CTL Model Checking
Year: 2002
-
Using verified property to partition the state space in LTL model-checking
F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes, year: 2002
-
YAHODA: verification tools database
Proceedings of Tools Day, year: 2002
2001
-
Clinical results of the epithelial flap replacement in photorefractive surgery- 18months follow-up.
Book of Abstracts of XIX.Congress of the ESCRS., year: 2001
-
Distributed LTL Model-Checking Based on Negative Cycle Detection
FST-TCS 2001, year: 2001