Project details


Automated Verification of Parallel and Distributed Systems

Project Identification:GA201/03/0509
Project Period:1/2003 - 12/2005
Investor:link to a new windowCzech Science Foundation
Programme / Project Type:Standard Projects -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Prof. RNDr. Luboš Brim, CSc.
Field:JC - Computer hardware and software (J - Industry)
BA - General mathematics (B - Physics and mathematics)
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.