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.

Posted in Publications, 2013