Category: 2013

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

Posted in Publications, 2013

Industrial-Strength Model-Based Testing – State of the Art and Current Challenges

As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that – according to our experience – are currently applied in practice, with special emphasis on the avionic, railway and automotive

Posted in Publications, 2013