Informace o projektu
Software Components in Embedded Systems: Development and Verification
(Components in Embedded Systems)
- Kód projektu
- GAP202/11/0312
- Období řešení
- 3/2011 - 12/2013
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Univerzita Karlova
Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.
Publikace
Počet publikací: 42
2011
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011
-
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI