Verified Systems International GmbH

RTT-MBT 9.2-1.0.1 now available (new feature)

Posted on September 26, 2017 in category Releases/RTT-MBT

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

Improvements

1. Validity checks for signalmap…

Read more …

RTT-MBT 9.2-1.0.0 now available

Posted on September 21, 2017 in category Releases/RTT-MBT

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

Improvements

1. Support for arrays in test models…

Read more …

Latest Releases

• RT-Tester 6.0-6.6.0 now available (new feature)
• RT-Tester 6.0-6.5.4 now available (maintenance)
• RT-Tester 6.0-6.5.3 now available (maintenance)
• RT-Tester 6.0-6.5.2 now available (maintenance)
• RT-Tester 6.0-6.5.1 now available (maintenance)

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