Quality Assurance for Embedded Systems
From January 2011 to December 2013, Verified Systems performed
research and development work for the project VerSyKo (Verifikation
von Systemen synchroner Software-Komponenten - Verification of Systems
with Synchronous Software Components).
This project was funded by the German Ministry of Education and Research (BMBF). It was carried out
with 2 partners:
Informatik Consulting Systems AG (ICS)
Technische Universität Braunschweig.
VerSyKo - Project Summary
VerSyKo - Full Technical Report