Project information

Project information
Automated Verification of Parallel and Distributed Systems

Investor logo
Project Identification
Project Period
1/2003 - 12/2005
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
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.


Total number of publications: 50

Previous 1 2 3 4 5 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info