Verified Systems International GmbH

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

Latest Releases

• RT-Tester 7.0.5 now available (maintenance)
• WARNING: Major bug in RT-Tester 7.0.4 may ignore error-timeout of cluster tests
• RT-Tester 7.0.4 now available (maintenance)
• RT-Tester 7.0.3 now available (maintenance)
• RTT-Plugin 1.6.10 now available (bugfix only)

Publications

• Presentation at Space Tech Expo Europe, Bremen
• EU Innovation Radar Prize - Runner-up Trophy for Verified Systems International!
• Nomination for EU Innovation Radar prize, 2015
• Testing on Target: Concepts and Experiences (IQNITE 2010)
• RT-Tester Bounded Model Checker Verifies Interlocking System Components