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
2005
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, year: 2005
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, year: 2005, volume: 2005, edition: 133
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), year: 2005
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
Test input generation for red-black trees using abstraction
Automated Software Engineering, year: 2005
-
Under-Approximation Generation using Partial Order Reduction
Year: 2005, number of pages: 21 s.
-
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
SOFSEM 2005: Theory and Practice of Computer Science, year: 2005
2004
-
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
Formal Methods in Computer-Aided Design (FMCAD), year: 2004