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
2004
-
Using Accepting Predecessors in Distributed LTL Model-Checking
MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, year: 2004
-
Verification Process of Hardware Design in Liberouter Project
Year: 2004, type: R&D Presentation
-
Verification Results in Liberouter Project
Year: 2004, type: R&D Presentation
-
Visual Coordination Diagrams
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, year: 2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, year: 2004
2003
-
Distributed Explicit Bounded LTL Model Checking
Second International Workshop on Parallel and Distributed Model Checking, year: 2003
-
Distributed Explicit Fair Cycle Detection
SPIN Workshop 2003, year: 2003
-
Distribution of Explicit-State LTL Model-Checking
Electronic Notes in Theoretical Computer Science, year: 2003, volume: Volume 80, edition: 1
-
LTL Hierarchies and Model Checking
Proceedings of the Eight ESSLLI Student Session, year: 2003
-
Packet header matching in Combo6 IPv6 router
Year: 2003, type: R&D Presentation