Project information
Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Information

This project doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official project website can be found on muni.cz.

Project Identification

GAP202/11/0312

Project Period

3/2011 - 12/2013

Investor / Pogramme / Project type

Czech Science Foundation

Standard Projects

MU Faculty or unit

Faculty of Informatics

Cooperating Organization

Charles University

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ů.

Publications

Total number of publications: 42

2011

Parametric Modal Transition Systems

BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

Article in Proceedings

ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011
Platform Dependent Verification: On Engineering Verification Tools for 21st Century

BRIM Luboš BARNAT Jiří

Article in Periodical

Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI

Project informationSoftware Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Information

Publications

2011

Parametric Modal Transition Systems

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Project information
Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)