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

By clicking “Accept Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Cookie Settings

Necessary Only Accept Cookies