Project information
Automated Verification of Parallel and Distributed Systems

Information

This project doesn't include Faculty of Education. It includes Faculty of Informatics. Official project website can be found on muni.cz.
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.