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
2008
-
Secure and Fault Tolerant Distributed Framework with Mobility Support
Grid Middleware and Services - Challenges and Solutions, year: 2008
2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, year: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, year: 2006, volume: 135, edition: 2
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), year: 2006, volume: 8, edition: 3
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
2005
-
Assumption-based distribution of CTL model checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, year: 2005
-
CRC64 Algorithm Analysis and Verification
Year: 2005, type: R&D Presentation
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, year: 2005
-
Distributed Partial Order Reduction of State Spaces
Electronic Notes on Theoretical Computer Science, year: 2005, volume: 128, edition: 3