Project information
Automated Verification of Parallel and Distributed Systems
- Project Identification
- GA201/03/0509
- Project Period
- 1/2003 - 12/2005
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- verification, model-checking, equivalence-checking, concurrent systems
The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems.
Publications
Total number of publications: 50
2003
-
Parallel Algorithms for Detection of Negative Cycles
Year: 2003, number of pages: 14 s.
-
Parallel Algorithms for Detection of Negative Cycles
Proceedings of the 10th ParCo Conference, year: 2003
-
Parallel Breadth-First Search LTL Model-Checking
18th IEEE International Conference on Automated Software Engineering (ASE'03), year: 2003
-
PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
Year: 2003, number of pages: 130 s.
-
Relating Hierarchy of Temporal Properties to Model Checking
Mathematical Foundations of Computer Science (MFCS 2003), year: 2003
-
To Store or Not To Store
Computer Aided Verification (CAV 2003), year: 2003
-
Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking
2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003), year: 2003
-
Using Assumptions to Distribute Model Checking
Počítačové Architektury & Diagnostika, year: 2003
-
Verification of COMBO6 VHDL Design
Year: 2003, type: R&D Presentation
-
Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli
EurOpen, Sborník příspěvků XXIII. konference, year: 2003