Project details
Automated Verification of Parallel and Distributed Systems
| Project code | GA201/03/0509 CEP CORDIS MU WEB INET MU |
|---|---|
| Duration | 01.01.2003–31.12.2005 |
| Status | completed |
| Investor | Czech Science Foundation |
| Programme | Standard Projects |
| Faculty investigator |
Annotation
The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems.