Verified Systems International GmbH

RTT-MBT 9.2-1.0.0 now available

A new release of RTT-MBT is now available for all supported platforms.

Improvements

1. Support for arrays in test models

2. Improved syntax checks on model import

3. Configurable test case identifiers

4. Improved import mechanisms for iterative model development

5. Multi-model support

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