Verified Systems International GmbH

CCBM 5.5.1 now available (maintenance)

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

Bugfixes

1. ccbm_coverage (asts-ccbm-generate-cov) behaviour:

   • Correctly ignore data if the provided checksum is invalid (fixes PR#11763) Note. This problem did not affect merging coverage (asts-ccbm-merge-coverage) or invocations of ccbm_coverage (asts-ccbm-generate-cov) that use option --strict-sanity.

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