Informace o projektu
Paralelní ověřování LTL vlastností zapouzdřených systémů pracujících v reálném čase
| Kód projektu | 1PO5ME747 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2005–31.05.2005 |
| Stav | ukončený |
| Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
| Program | Program regionální a mezinárodní spolupráce ve výzkumu a vývoji (Národní program výzkumu s počátkem řešení v roce 2005 nebo dříve) |
| Řešitel za FI |
Anotace
Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi Laboratoří paralelních a distribuovaných systémů na FI MU v Brně a výzkumným týmem na Department of Computer Science, Brigham Young University, USA v oblasti výzkumu a vývoje paralelních technik pro verifikaci zapouzdřených systémů pracujících v reálném čase. Jedním z hlavních zdrojů spolupráce je vytvoření podmínek pro intenzivní a bezprostřední vědecké kontakty při práci na tématice a využívání výzkumné infrastruktury zúčastněných partnerů.