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
-
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
Year: 2004, number of pages: 22 s.
-
Distributed Memory LTL Model Checking Based on Breadth First Search
Year: 2004, number of pages: 57 s.
-
Distributed Negative Cycle Detection Algorithms
Parallel Computing: Software Technology, Algorithms, Architectures & Applications, year: 2004
-
Distributed Partial Order Reduction of State Spaces
Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), year: 2004
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), year: 2004
-
Hardware Router's Lookup Machine and its Formal Verification
ICN'2004 Conference Proceedings, year: 2004
-
How to Formalize FPGA Hardware Design
Year: 2004, type: R&D Presentation
-
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), year: 2004
-
Parallel Model-Checking
ERCIM News, year: 2004, volume: 58, edition: June
-
Typical Structural Properties of State Spaces
SPIN Workshop 2004, year: 2004