Project information
Automated Verification of Parallel and Distributed Systems

Investor logo
Project Identification
GA201/03/0509
Project Period
1/2003 - 12/2005
Investor / Pogramme / Project type
Czech Science Foundation
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


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