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
2003
-
Model checking LTL with regular valuations for pushdown systems
Information and Computation, year: 2003, volume: 186, edition: 2
2002
-
$\xor$-OBDD in Symbolic Model Checking
SOFSEM 2002: Student Research Forum, year: 2002
-
Automatizovaná formální verifikace
XXI. conference EurOpen 2002. Znojmo, Czech republic, year: 2002
-
CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
Year: 2002, number of pages: 609 s.
-
Distributed Modular Model Checking
2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium, year: 2002
-
Distributed Modular Model Checking (abstract)
The Seventeenth IEEE International Conference on Automated Software Engineering, year: 2002
-
Equivalence-Checking with Infinite-State Systems: Techniques and Results.
Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), year: 2002
-
How to distribute LTL model-checking using decomposition of negative claim automaton
SOFSEM 2002 Student Research Forum Proceedings, year: 2002
-
Local Distributed Model Checking of RegCTL
PDMC 2002 Parallel and Distributed Model Checking, year: 2002
-
PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
Year: 2002, number of pages: 165 s.