Verified Systems International GmbH

CCBM 5.4.2 now available (maintenance)

A maintenance release is now available.
Consider updating if you are using Version 5.4.1 or older.

Improvements

1. Documentation:
   • Corrected several minor typos in manual

Bugfixes

1. Instrumentation (asts-ccbm-prepare-file / ccbm_prep ):
   • compound initialisers: relax treatment colon expressions (fixes #8671)
   • compound initialisers: relax treatment of braced expressions (fixes #8672)

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