Project information
Parallel Real Time LTL Model Checking for Embedded Software
- Project Identification
- 1PO5ME747
- Project Period
- 1/2005 - 5/2005
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Programme of Regional and International Cooperation in R&D (National Research Programme starting in 2005 or before)
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Brigham Young University
- Responsible person ass. prof. Michael Jones
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ů.