Verified Systems International GmbH

Quality Assurance for Embedded Systems

Verification of Systems with Synchronous Software Components

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) and Technische Universität Braunschweig.

VerSyKo - Project Summary

VerSyKo - Full Technical Report